Lists (32)
Sort Name ascending (A-Z)
ai assisted
backend frameworks
Benchmark and profiling
clojure
concurrency
conventions
domain modelling
dsls
E2E and browser automation
ecosystems research
effects
formal methods
functional
functional web
gamedev
games
golang
iaac
interesting ai
language agnostic
Linux and cli
logic
metaprogramming
misc consumer software
misc web
mojo
New languages
nlp
static analysis and lint
statistics
system design
ui libraries
- All languages
- Agda
- Assembly
- Astro
- Ballerina
- Batchfile
- Bikeshed
- Blade
- C
- C#
- C++
- C3
- CSS
- Clojure
- Common Lisp
- Crystal
- Dart
- Elixir
- Elm
- Emacs Lisp
- Flix
- Fluent
- Gleam
- Go
- Groovy
- HTML
- Hack
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Logtalk
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Mojo
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- Prolog
- Python
- R
- Racket
- ReScript
- Red
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smalltalk
- Svelte
- Swift
- TeX
- TypeScript
- V
- Vim Script
- Vue
- Zig
Starred repositories
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+.