hide-kawabata

Pinned Repositories

ComSys
Language:C00
Cubing
Rubik's Cube Solvers, etc.
Language:Swift1 0 00
emacs-tools
Language:Emacs Lisp00
EOPL-Etudes
Language:OCaml00
hello-world
Just a test
Language:C10
idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
Language:TypeScript00
KUE-CHIP2-Tools
Tools for KUE-CHIP2 CPU: an assembler and a simulator
Language:Kotlin10
proof-tree
proof tree display for Proof General
Language:OCaml00
toys
Language:Haskell0 1 00
traf
A proof tree viewer that works with Coq through Proof General
Language:OCaml24 3 01

hide-kawabata's Repositories

hide-kawabata/traf
A proof tree viewer that works with Coq through Proof General
Language:OCaml24 3 01
hide-kawabata/Cubing
Rubik's Cube Solvers, etc.
Language:Swift1 0 00
hide-kawabata/hello-world
Just a test
Language:C10
hide-kawabata/KUE-CHIP2-Tools
Tools for KUE-CHIP2 CPU: an assembler and a simulator
Language:Kotlin10
hide-kawabata/ComSys
Language:C00
hide-kawabata/emacs-tools
Language:Emacs Lisp00
hide-kawabata/EOPL-Etudes
Language:OCaml00
hide-kawabata/idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
Language:TypeScript00
hide-kawabata/idris2-playground
Language:Idris00
hide-kawabata/proof-tree
proof tree display for Proof General
Language:OCaml00
hide-kawabata/toys
Language:Haskell0 1 00
hide-kawabata/llvmlite
A lightweight LLVM python binding for writing JIT compilers
Language:Python1 0
hide-kawabata/ocaml_effect_practice
OCamlのエフェクトを使った練習用repository
hide-kawabata/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++1 0
hide-kawabata/souffle-lang.github.io
Soufflé
Language:HTML
hide-kawabata/spin_tool
Language:Python
hide-kawabata/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
Language:TypeScript1 0