Stars
An introduction to programming language theory in Agda
High-performance, low-footprint SQL database written in C++. Process millions of rows per second from Kafka/Pulsar, Iceberg, or ClickHouse, and seamlessly write results back. Supports powerful feat…
Sister project to OpenLLMetry, but in Typescript. Open-source observability for your LLM application, based on OpenTelemetry
Notify PostgreSQL slot growth to a Slack channel.
Build ARM Linux Kernels natively on macOS hosts
Fast, Simple and a cost effective tool to replicate data from Postgres to Data Warehouses, Queues and Storage
Nomad is an easy-to-use, flexible, and performant workload orchestrator that can deploy a mix of microservice, batch, containerized, and non-containerized applications. Nomad is easy to operate and…
CLI tool to view and extract content of docker image layer
A tool for exploring each layer in a docker image
The product aspect of the spinup.host service. Made in React and AntD
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
A scalable set of icons handcrafted with <3 by GitHub
Colorize issue and PR links to see their status (open, closed, merged)
Small webserver to use in front of fast-cgi servers (php-fpm, hhvm, ...)
Simple Login - Signup Authentication Using Firebase Authentication & Realtime Database in ReactJS
Virtual whiteboard for sketching hand-drawn like diagrams
A brief computer graphics / rendering course