Stars
Utility lib on top of rewrite-clj with common operations to update EDN while preserving whitespace and comments.
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA+ language support for Visual Studio Code
A fast, immutable, distributed & compositional Datalog engine for everyone.
Native, fast starting Clojure interpreter for scripting
Free monospaced font with programming ligatures
Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21
A framework for distributed systems verification, with fault injection
μ/log is a micro-logging library that logs events and data, not words!
C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures
The Deadlock Empire: Slay dragons, learn concurrency!
Sources for my PhD dissertation on the Raft consensus algorithm
Event data simulator. Generates a stream of pseudo-random events from a set of users, designed to simulate web traffic.
Clojure utilities for AWS Lambda (JVM based) deployment
H2 is an embeddable RDBMS written in Java.
Interactive algorithm visualizations
Persistent/Immutable/Functional data structures for Python
Magnificent app which corrects your previous console command.
Exploits locked/password protected computers over USB, drops persistent WebSocket-based backdoor, exposes internal router, and siphons cookies using Raspberry Pi Zero & Node.js.