-
Kyoto University
- Kyoto, Japan
- http://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
- https://orcid.org/0000-0001-9360-7490
Highlights
- Pro
- All languages
- AppleScript
- Assembly
- Awk
- C
- C#
- C++
- CMake
- CSS
- Coq
- Crystal
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- HCL
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Mathematica
- OCaml
- OpenQASM
- PDDL
- PHP
- Prolog
- Python
- R
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Swift
- TeX
- TypeScript
- V
- Verilog
- Vue
- XSLT
- YAML
- q
- sed
Starred repositories
Reformats Java source code to comply with Google Java Style.
GitHub Action for clang-tidy with reviewdog
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable…
A training framework for Stable Baselines3 reinforcement learning agents, with hyperparameter optimization and pre-trained agents included.
This repository hosts a customized PPO based agent for Carla. The goal of this project is to make it easier to interact with and experiment in Carla with reinforcement learning based agents -- this…
johnMinelli / carla-gym
Forked from praveen-palanisamy/macad-gymMulti-agent reinforcement learning interface for CARLA Autonomous Driving simulator compatible with PettingZoo
Python script to manage a Sony DPT-RP1 without the Digital Paper App
Tool to verify Probabilistic Hyperproperties on Markov Decision Processes
Containerized ROS communication bridge for F1TENTH gym environment.
Free Introduction to Bash Scripting eBook
Command line utility to make you a magician in the terminal
Common Expression Language interpreter written in Rust
A minimal programming language inspired by clickbait headlines
Control Spotify from the command line on macOS
Move and resize windows on macOS with keyboard shortcuts and snap areas
A library to communicate with ChatGPT, Claude, Copilot, Gemini, HuggingChat, and Pi
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
Implementation for paper Automata Extraction from Transformers.
LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.