gparmer

polars

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

d2

D2 is a modern diagram scripting language that turns text to diagrams.

fprime

F´ - A flight software and embedded systems framework

thiserror

derive(Error) for struct and enum error types

arrow-rs

Official Rust implementation of Apache Arrow

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

miette

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

datafrog

A lightweight Datalog engine in Rust

crucible

Crucible is a library for symbolic simulation of imperative programs

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

termchat

Terminal chat through the LAN with video streaming and file transfer.

crepe

Datalog compiler embedded in Rust as a procedural macro

saw-script

The SAW scripting language.

libreactor

Extendable event driven high performance C-abstractions

ascent

logic programming in Rust

lia

A high-level language for Rust

flux

Refinement Types for Rust

pixi-text-input

Plugin for pixi.js which provides a convenient way of adding a text input to the pixijs-stage.

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

chiriboga

Implements Netrunner in Javascript against an AI opponent

rust-horn

RustHorn: A CHC-based automated verifier for Rust

assise

liquid-rust

kernel_entry_benchmark

Microbenchmarks for x86_64 kernel entry methods

pixi-html-element-wrapper

Wraps HTML Element into PIXI.DisplayObject allowing easy manipulation and screen positioning

sparrow-manifest

Project Sparrow: Repo Materials