Stars
Some notes on things I find interesting and important.
A native Delta implementation for integration with any query engine
Yank is a fast CLI downloader that fetches multiple files concurrently from URLs, with progress tracking, resume support, and automatic retries. Read URLs from a file or arguments and parallelize d…
Online web-based console memory card manager. Supported platforms: PlayStation and GameCube.
SQLiteC++ (SQLiteCpp) is a smart and easy to use C++ SQLite3 wrapper.
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Unified local observability for AI coding assistants
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
Typed, flexible programming language with a living repl
Helpers for Arrow C Data & Arrow C Stream interfaces
Zig bindings for the sokol headers (https://github.com/floooh/sokol)
Scalable, fast, and disk-friendly vector search in Postgres, the successor of pgvecto.rs.
Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension, LoongArch64, POWER. Part of Node.js, WebKit/Safari, Lad…
An extremely fast Python type checker and language server, written in Rust.
⭐️ A friendly language for building type-safe, scalable systems!
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Creusot helps you prove your code is correct in an automated fashion.
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
A fast type checker and language server for Python