krtx

Tokyo, Japan

Pinned Repositories

agda-handson
agda handson
Language:Agda6 1 03
glitch-text
common lisp glitch-text library
Language:Common Lisp10
le4a
tiny ml compiler
Language:OCaml1 2 00
lua-parser
Lua parser implemented in OCaml
Language:OCaml10 1 11
ml-prolog
ML interpreter written in Prolog
Language:Prolog3 3 01
probot
🤖 A framework for building GitHub Apps to automate and improve your workflow
Language:TypeScript1 1 00
ws-ocaml
WebSocket server implementation of OCaml
Language:OCaml14 3 12