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