tiny Rust lambda calculus evaluator
Updated 2 weeks ago
Updated 1 month ago
Updated 1 month ago
Slimline fork of https://github.com/SpectrumIM/spectrum2, with lots of things cleaned up and improved
Updated 2 months ago
Updated 2 months ago
Updated 2 months ago
Updated 2 months ago
A WhatsApp (Web) transport for XMPP.
Updated 3 months ago
Updated 4 months ago
Updated 4 months ago
Updated 7 months ago
Implementations of trainsplorer mapping algorithms, in Common Lisp
Updated 7 months ago
Updated 7 months ago
Updated 7 months ago
Updated 8 months ago
Fork of https://dev.gajim.org/gajim/gajim/
Updated 8 months ago
the Somewhat Immature SMTP Server
Updated 8 months ago
Updated 8 months ago
Updated 8 months ago
Updated 8 months ago