hatsugai's Stars
kamranahmedse/developer-roadmap
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
zick/RingLisp
Lisp implementation which allocates cons cells on a ring buffer
zick/IchigoLisp
LISP 1.5(-ish) implementation in WebAssembly
y-taka-23/ddsv-go
A toy deadlock detector written in Go. 🔍
fetburner/type-infer
A Formal Verification of Algorithm W
shinji-kono/sbc09
Lennart Benschop 6809 Single Board Computer
yoshinao-isobe/CSP-Prover
Kuniwak/ddsv-prolog
Prolog implementation for https://principia.connpass.com/event/143181/
zick/TempLisp
LISP implementation in C++ templates
2222-42/ConcreteSemantics
yoshinao-isobe/rw-solver
RW-Solver (RailWay-Solver)
ataraken/formal-methods
ryohji/sudoku-sat
SAT solver DIMACS generator and interpreter of Sudoku
takapro/ddmp-swift
 Deadlock detector in Swift