Beast code in Giters

Yosuke Fukuda's repositories

A Lisp implementation in which a lot of language features are self-definable.

Language:C17 40

agda handson

Language:Agda000

Akkoma frontend modified with KaTeX

Language:JavaScriptAGPL-3.0000

Language:RubyNOASSERTION000