Lists (32)
ai assisted
66 repositories
backend frameworks
3 repositories
Benchmark and profiling
1 repository
clojure
26 repositories
concurrency
2 repositories
conventions
1 repository
domain modelling
8 repositories
dsls
21 repositories
E2E and browser automation
3 repositories
ecosystems research
1 repository
effects
8 repositories
formal methods
22 repositories
functional
13 repositories
functional web
12 repositories
gamedev
1 repository
games
1 repository
golang
23 repositories
iaac
4 repositories
interesting ai
1 repository
language agnostic
4 repositories
Linux and cli
1 repository
logic
19 repositories
metaprogramming
5 repositories
misc consumer software
42 repositories
misc web
4 repositories
mojo
2 repositories
New languages
22 repositories
nlp
1 repository
static analysis and lint
13 repositories
statistics
3 repositories
system design
2 repositories
ui libraries
2 repositories
Starred repositories
Indentation-based ClojureScript dialect in Rust and compiling to JavaScript ES Modules
Experimental ClojureScript to ES6 module compiler
A Clojure-compatible(-ish) Lisp dialect hosted on Python 3 with seamless Python interop
Collection of logical bombs that reproduces theoretical and real-world bugs in Go
stalin brutally optimizing Scheme compiler, with Debianization patches
A model-based testing framework for .NET that validates implementations against behavioral specifications.
Visualize, collaborate, and evolve the software architecture with always actual and live diagrams from your code
A collection of macros designed to address issues with objects in Clojure.
Agent skills for building playable, polished Three.js browser games with gameplay, AAA-style graphics, UI, QA, and optional AI-generated 3D, image, and audio assets.
Static, high-recall change-impact candidate generator for Clojure(Script): finds downstream code affected by a change, including data-mediated coupling through qualified keywords that call-graph an…
EDN parser and generator that works with plain JS data, with support for TS and node streams
Protocol specs in Python you can verify: test, simulate, model check, prove
ER diagram generator. Paste CREATE TABLE statements and get a clean, interactive ERD — runs 100% in your browser, nothing uploaded
AI-native, free, open-source alternative to Jira, Trello, ClickUp & Monday. Built for Scrum teams where humans and AI agents collaborate as equals — on the same board, the same sprints, the same go…
Reactive server-rendered web framework for Clojure
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
A Foreign Function Interface in Clojure for JDK 22+.