Stars
Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where humans architect and AI agents implement.
Chiasmus is an MCP server that gives language models access to formal verification
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
Run OpenClaw AI agent with zero API cost, local LLM via AirLLM
Open-source AI coworker, with memory
A starter template for creating Datastar plugins using Typescript
Comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources
Functional (and opinionated) errors handling in Clojure
Pragmatic, type safe event sourcing framework for Go.
Light structure and support for dependency injection
Micro-framework for data-driven architecture
Headless cloud-native authentication and identity management written in Go. Scales to a billion+ users. Replace Homegrown, Auth0, Okta, Firebase with better UX and DX. Passkeys, Social Sign In, OID…
Datastar plugin to bind keyboard keys to actions
Java Uuid Generator (JUG) is a Java library for generating all standard UUID versions (v1 - v7)
A project to improve experience of using Clojure stdlib
Clojure wrapper for the official NATS.io Java SDK
A data-oriented approach to Datastar using the official SDK and Nexus. Wow!
Data-driven action dispatch for Clojure(Script): Build systems that are easier to test, observe, and extend
HTML so good, it will have you saying "Html Yeah Brother"
A free tax tool based on IRS Direct File
See the shape of your data: point-and-click Clojure(Script) data browser
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…
Lit is a simple library for building fast, lightweight web components.