Catalog Of Math Problems Formalized In Lean

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

The official repo of Doop, the declarative pointer analysis framework.

Zopfli Translated Code

A Rust compiler front-end for IDEs

Real-time monitor and web admin for Celery distributed task queue

Cross-platform Rust rewrite of the GNU coreutils

(forkable) universal json ingester

Creusot helps you prove your code is correct in an automated fashion.

Commit0: Library Generation from Scratch

A constant throughput, correct latency recording variant of wrk

Modern HTTP benchmarking tool

Interface with the rustc compiler for the purpose of program verification

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

A command-line benchmarking tool

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

A benchmark that challenges language models to code solutions for scientific problems

Tile primitives for speedy kernels

Replicating O1 inference-time scaling laws

🔥 The most advanced open-source online code execution system in the world.

Sandbox for securely executing untrusted programs

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

Monitor Memory usage of Python code

Easily copy all relevant source files in a repository to clipboard. For use in LLM code understanding and generation workflows