Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
-
Prolog programming for the Java platform.
-
PolyGlot is a conlang construction toolkit.
-
The future of convention web applications
-
Modular ActivityPub/Fediverse Server
-
Sustainable federated social media built for open correspondence
-
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
-
typed bidirectional router for OCaml/ReasonML web applications
-
4 Starred
Aug 11, 2023 -
Lock-free data structures for multicore OCaml