Dataframes powered by a multithreaded, vectorized query engine, written in Rust

🕳 bore is a simple CLI tool for making tunnels to localhost

Rhai - An embedded scripting language for Rust.

Write expressive, high-performance parsers with ease.

Learn Rust by writing Entirely Too Many linked lists

An implementation of differential dataflow using timely dataflow on Rust.

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

A toy web rendering engine

egg is a flexible, high-performance e-graph library

Think tmux, then aim... lower

Verified Rust for low-level systems code

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

NetBricks: A new network function framework based on Rust.

A programming language for the decentralized web

Research prototype tool for modular formal verification of C and Java programs

Metamath Zero specification language

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

Engines, queries, and data for dynamic Datalog computation

[Archived] A scalable differentiable probabilistic Datalog engine, with Rust

Pull your compiler up with abstract bootstraps.

Performant and safe knowledge compilation in rust

Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions

A Rust implementation of the Lean kernel

Lightweight Modular Staging in Rust

Learning Formal Mathematics from Intrinsic Motivation

Egg Eater