Jasen Qin's repositories
neutron-rs
A rust based kernel built on first principles
hyperswine.github.io
A blog
quantii-registry
Registry for quantii
Language:TeX000
Language:G-codeLGPL-2.1000
agda-sessions
Learn the Agda basics in three 2-hour sessions.
Language:Agda000
aop
Art of Prolog Code
Language:Prolog000
demens-rei
Demens in terra
Language:ReasonLGPL-2.1000
Language:Java000
gcoin
The greatest coin, in Rei
Language:ReasonLGPL-2.1000
Language:Python000
Language:JavaScript000
gitq
Alternative Git frontend
Language:ReasonLGPL-2.1000
lisprolog
Interpreter for a simple Lisp. Written in Prolog.
Language:Prolog000
prei
Project Rei Toolchain
Language:RustLGPL-2.1000
Language:Reason000
scala3
The Scala 3 compiler, also known as Dotty.
Apache-2.0000
vscode-prolog
A VS Code extension that provides language support for prolog
Language:TypeScriptMIT000