Stars
An interactive HTML pretty-printer for machine learning research in IPython notebooks.
DOM to Semantic-Markdown for use in LLMs
Pluggable in-process caching engine to build and scale high performance services
Detect and read handwritten words on scanned pages.
Connectionist Temporal Classification (CTC) decoder with dictionary and language model.
The knowledge hacker's notebook
Open, Multi-modal Catalog for Data & AI
Fancy stream processing made operationally mundane
A local-first platform designed for privacy, ease of use, and no vendor lock-in
A tool to visualize distributed system logs
GritQL is a query language for searching, linting, and modifying code.
Build AI-powered applications with React, Svelte, Vue, and Solid
D2 is a modern diagram scripting language that turns text to diagrams.
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
Open source single-machine version of the Convex backend
Loki: Open-source solution designed to automate the process of verifying factuality
a structural diff that understands syntax 🟥🟩
fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.
A rich text editor React component for markdown
TLA+ specification of the Kafka replication protocol
The most over-engineered C++ assertion library
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)