Lists (2)
Stars
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
An unofficial desktop client for Jellyfin
Cross-platform FRP runtime with a git-like memory model.
Lisp interpreter for Cursor/VS Code with leader key bindings and custom Lisp script support
Clojure wrapper for Structured Concurrency (JDK 25+).
🦅 EACL: Enterprise Access ControL is a ReBAC Authorization library inspired by SpiceDB, built in Clojure and backed by Datomic Pro, Datahike, Datalevin or DataScript.
🤖 The latest Telegram Bot API spec and client lib for Clojure-based apps
A set of things necessary for Telemere-to-Axiom integration.
Versioned, fast, distributed Datalog engine for everyone.
A functional effect and streaming system for Clojure/Script
Xray, Penetrates Everything. Also the best v2ray-core. Where the magic happens. An open platform for various uses.
Tool for Datalevin database migrations
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Clojure/Datalevin framework for making complex Telegram Bots/Applications
Clojure library implementation of the Telegram Bot API.
documentation site for Luminus framework
Clojure bindings for Bolt / the Java Neo4j driver, complete with Joplin support for managing database migrations.
Declarative concurrency and stream processing library for Scala
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…
Functional typed classnames for TailwindCSS
Use pipelines to build JSON Decoders in Elm.