record and replay the web

Fast web fuzzer written in Go

A modern supercompiler for call-by-value functional languages

A library for efficient similarity search and clustering of dense vectors.

The Flix Programming Language

An extremely fast, production-grade web bundler based on Rust.

Schema.org - schemas and supporting software

The Supabase for RAG - R2R lets you build, scale, and manage user-facing Retrieval-Augmented Generation applications in production.

GitHub's Online Schema-migration Tool for MySQL

💣 Lint CSS for browser support against caniuse database.

Advanced multi-source music streaming + discovery client for desktop. Free, clean, no login, no ads.

Automatically generate API documentation from RSpec

System for collecting, deriving and working with facts about source code.

Work-in-progress vector search SQLite extension that runs anywhere.

Spectraformer a unified random feature framework for transformer for approximating and learning the kernel function in linearized attention of the Transformer

PHP package for Laravel to type Eloquent models, routes, Spatie Settings with autogenerated TypeScript. Optional NPM package for Inertia.

IVM (Incremental View Maintenance) implementation as a PostgreSQL extension

First class CMS experience, TypeScript API, Markdown & YAML/JSON based, no DB

Cypress Visual Regression Tests

A wrapper shard for llama.cpp that acts as a client to work directly with AI models through llama.cpp from within Crystal applications

CakePHP: The Rapid Development Framework for PHP - Official Repository

Path tracing renderer and utilities for three.js built on top of three-mesh-bvh.

A fully open-source headless CMS that supports Markdown and Visual Editing

✂️ Find unused files, dependencies and exports in your JavaScript and TypeScript projects. Knip it before you ship it!

Kolmogorov Arnold Networks

Build AI Assistants with memory, knowledge and tools.

Manage vue-i18n localization with static analysis

validate the structure of your container images

Stale-while-revalidate data fetching for Vue

LLMs as Copilots for Theorem Proving in Lean