-
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
johnMinelli / carla-gym
Forked from praveen-palanisamy/macad-gymMulti-agent reinforcement learning interface for CARLA Autonomous Driving simulator compatible with PettingZoo
Deeptechia / geppetto
Forked from CoinFabrik/geppettoGeppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with automated responses and intelligent dialogues, supporting flex…
kidd / org-gcal.el
Forked from myuhe/org-gcal.elOrg sync with Google Calendar. (active maintained project as of 2019-11-06)
makenowjust / SyMon
Forked from MasWag/SyMonA tool for SYmbolic MONitoring
traffic-control-fyp-aub / ns3-gym
Forked from tkn-tub/ns3-gymThe playground for reinforcement learning in networking research with SUMO integration.
wallyqs / org-ruby
Forked from bdewey/org-rubyAn Org mode parser written in Ruby.
codefirst / aquaskk
Forked from t-suwa/aquaskkAn input method without morphological analysis.
E5ten / pacaur
Forked from rmarquis/pacaurAn AUR helper that minimizes user interaction
GitHub Action for interacting with MEGA
SciRuby / publisci
Forked from wstrinz/publisciA toolkit for publishing scientific results to the semantic web
Emacs Realtime Markdown Viewer with websocket.el and Amon2
wtnabe / gcalapi
Forked from SIN-777/gcalapiGoogle Calendar API (with patches)