Pinned Repositories
combinators
Parser Combinators and Grammar in and for Grace (specifically the Kernan interpreter)
dafny2025
dahlia
heap models in dafny
grace-gtk
GTK bindings for Grace
GraceLibrary
A library of Grace programs, including: hello world, tests, benchmarks, and more.
inheritator2
Grace interpreter written in Grace on kernan
jernan
nasty nasty hack
kernan
An interpreter for the Grace language
kernanHACKED
libraries
Libraries useful for Dafny programs
kjx's Repositories
kjx/inheritator2
Grace interpreter written in Grace on kernan
kjx/combinators
Parser Combinators and Grammar in and for Grace (specifically the Kernan interpreter)
kjx/jernan
nasty nasty hack
kjx/dafny2025
kjx/dahlia
heap models in dafny
kjx/grace-gtk
GTK bindings for Grace
kjx/GraceLibrary
A library of Grace programs, including: hello world, tests, benchmarks, and more.
kjx/kernan
An interpreter for the Grace language
kjx/kernanHACKED
kjx/libraries
Libraries useful for Dafny programs
kjx/minigrace
kjx/minigrace-1
Self-hosting compiler for the Grace programming language
kjx/Moth
Self-Optimising Grace from Self-Optimising Newspeak
kjx/pyrona
Explorations into a programming model for BoC in the Python runtime
kjx/SOMns
SOMns: A Newspeak for Concurrency Research
kjx/SOMnsHacked
Evil evil hack of SOMns