#
-
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
0
results
for forked starred repositories
written in YAML
Clear filter