Ioanna M Dimitriou H's starred repositories
gotosocial
Fast, fun, small ActivityPub server.
lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
gnu-apl-mode
GNU APL mode for Emacs
portable-condition-system
A portable Common Lisp condition system
cafe-latte
An implementation of Common Lisp dynamic variables, control flow operators, and condition system in plain Java.
JS-BigInt-integration
JavaScript BigInt to WebAssembly i64 integration
WasmCert-Isabelle
A mechanisation of Wasm in Isabelle.
wasm-redex
WebAssembly model in Redex
racket-binaryen
Binaryen bindings for Racket
specificity
Runnable specifications for Common Lisp
wasm-effect-handlers
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
wasm-tools
Low level tooling for WebAssembly in Rust