criccomini
Follow
Stars
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A small wrapper to get RocksDb like estimates for https://github.com/slatedb/slatedb
Local-first GitHub dashboard for maintainers to triage, review, and merge PRs and issues across repos without needing GitHub's built-in notification emails or dashboard
An agent skill for thesis-first essays, distilled from Paul Graham’s writing without imitating his exact voice.
GhostScribe — meeting notes that never leave your machine.
Generate Node.js bindings for UniFFI Rust libraries, with ESM output, TypeScript declarations, and a Koffi-based runtime.
A PostgreSQL 18+ extension for streaming tables with incremental view maintenance, powered by differential dataflow in Rust.
Import Strong workout history and routines into Hevy
🔎 A simple, tiny and lightweight benchmarking library!
A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
`swarmd` is a multi-tenant runtime for running background Agents in a safe and secure manner. Agents are defined in YAML and run as goroutines in a multi-tenant server with a virtual shell and cust…
Command Line Agent Safety Harness. Stop babysitting your agents, go touch grass.
Mechanism for generating ffi bindings between node and rust using uniffi
Real-time data processing/feature engineering tailored for modern AI/ML systems.
experimental background queuing system on object storage
slatedb bindings for nodejs for KV on object storage
Gradle plugin that generates Java bindings from native library headers using Jextract
Gradle plugin for integrating Project Panama's jextract tool
🏌️ a fun challenge to compress 1M rows to the smallest possible size
One database for likes, views, follows — pre-computed, served in real-time
A context engine that treats skills as software.
Convert PDF to markdown + JSON quickly with high accuracy
CLI tool for data diffing between two tables