简's repositories
koka
Koka language compiler and interpreter
Language:HaskellNOASSERTION000
RuCalculus
入墨答Rumbda, the Chinese expression of lambda calculus
Language:HaskellApache-2.0000
public-student-support-code
Public helper code for p423/p523 students (Racket)
Language:RacketMIT000
Language:Lua000
Language:HTML000
Language:PureScript000
mugda.sexp
An implementation of the Mugda paper
Language:TypeScriptGPL-3.0000
LittleJianKanren
Little简Kanren
Language:ScalaAGPL-3.0000
Tetris-MFC
A implementation of Tetris in MFC
Language:C++000
whereabouts
Logic programming with JSON
cicada-lang-website
Website of Cicada Language
Language:VueGPL-3.0000
utlc-normalize-in-hs
An implementation of normalizing in untyped lambda calculus
Language:HaskellMIT000
Racket-miniKanren
Canonical miniKanren implementation in Racket (add multi-args run and defrel)
Language:Racket000
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Language:RustMIT000
Language:Emacs Lisp000
PLCT-Weekly
软件所PLCT实验室在开源领域的不定期简报
Language:HTMLCC-BY-SA-4.0000
wasm4
Build retro games using WebAssembly for a fantasy console.
Language:TypeScriptISC000
Language:Prolog000
Language:Swift000
Language:Swift000
Language:TypeScriptGPL-3.0000
io
Io programming language. Inspired by Self, Smalltalk and LISP.
NOASSERTION000
derivative-calculator
A calculator supporting derivative and Taylor's-Formula
Language:Racket000