Hiroki Kobayashi's repositories
hayashii-mcc
MinCaml on Haskell
rust-tigress
Tiger-like language implementation in Rust
AtCoderScores
AtCoder の問題を点数ごとに分けるやつです
category-seminar
Materials for category theory seminar
constexpr-8cc
Compile-time C Compiler implemented as C++14 constant expressions
elvm
EsoLangVM Compiler Infrastructure
GruppenTheoBOT
The repository for management of @GruppenTheoBOT.
HoTT-exercise
HoTT exercise
hs-throwable-exceptions
Give the exception's value constructors for your haskell project
icfpc2017-ksy
Clone repository for icfpc2017 (https://icfpcontest2017.github.io/)
iron-kaleidoscope
LLVM tutorial in Rust language
Kaguya
prolog
minisat-rust
Experimental minisat SAT solver reimplementation in Rust
monad-bayes
A library for probabilistic programming in Haskell.
nginx-image-server
Dockerfile for Dynamic Image Transformation Server with Nginx and Small Light module
picrin
a lightweight scheme interpreter
qepcad
Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
rust
A safe, concurrent, practical language.
rust-peg
Parsing Expression Grammar (PEG) parser generator for Rust
scala
The Scala programming language
strategic-tic-tac-toe
AI play routine for strategic tic-tac-toe (http://www.notdoppler.com/strategictictactoe.php)
the-rust-programming-language-ja
Rust文書の和訳レポジトリ