marcusklaas

sortedvec

Rust vector types without dependencies that enable quick lookups

Achtung--die-Kurve-

Remake of the classic Achtung die Kurve using HTML5 websockets

lisp-interpreter

A bare bones lisp parser & interpreter

tower-of-hanoi

proof using the lean prover that the towers of hanoi problem is solvable

logical-verification-project

proving some basic theorems in modal logic

modal-logic-cheat-sheet

things one should know going into the exam

parser-dos-demo

rough-graph-experiments

experiments with d3 and rough.js

advent20

async_chat_demo

bbt

A bayesian skill-rating system similar to Elo, Glicko or TrueSkill

cursive

A Text User Interface library for the Rust programming language

fastcmc

a proof-of-concept for a speedier coinmarketcap

haskell-exercises

A little course for Habito engineers to learn about some of the more obscure GHC extensions.

katexify

recursively searches a directory for html and typesets math spans in them

kdtree-rs

K-dimensional tree in Rust for fast geospatial indexing and lookup

linearity-testing-experiments

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

mimalloc-rs

Rust port of the mimalloc project

petgraph

Graph data structure library for Rust.

polars

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

pulldown-cmark

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

rust-skeptic

Test your Rust Markdown documentation via Cargo

signals

meldingen system amsterdam (signalen/signals)

spsc-benches

benchmarking ways to send stuff from one thread to another

standard

The Standard for Public Code

tokio-imap

Tokio-based IMAP implementation

trophy-case

🏆 Collection of bugs uncovered by fuzzing Rust code

zola

A fast static site generator in a single binary with everything built-in.