Stars
🎒 Token-Oriented Object Notation (TOON) – JSON for LLM prompts at half the tokens. Official spec & TypeScript implementation.
A markdown parser and compiler. Built for speed.
A simple, fast and user-friendly alternative to 'find'
Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]
A project to map out the relations between different equational theories of Magmas.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Firmware & goodies for making a KEYER (one-handed chorded keyboard).
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and m…
Creating a simple Docker image to help perform comparisons for FASTQ compression
A Rich-compatible library for writing pixel images and ASCII art to the terminal.
go-univers: mostly universal version and version ranges comparison and conversion
A high efficiency binary format for sequencing data
A command line utilty for working with BINSEQ files
OpenTelemetry Instrumentation for AI Observability
Lean 4 programming language and theorem prover
An extremely fast Python type checker and language server, written in Rust.
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
Send push notifications to your phone or desktop using PUT/POST
Typer, build great CLIs. Easy to code. Based on Python type hints.
Visual testing tool for MCP servers
Model Context Protocol Servers
Browser MCP is a Model Context Provider (MCP) server that allows AI applications to control your browser