timotree3

hanabi.rs

State of the art Hanabi bots + simulation framework in rust

aoc2023

Advent of Code 2023!

argon2min

The pure-Rust password hashing library running on Argon2.

bit-set

A Set of Bits

dada

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

egglog

egraphs + datalog!

hanabi-1

Computer players for a collaborative card game

hanabi-conventions

A list of Hanabi strategies

hanabi-live

A web server that allows people to play Hanabi, a cooperative card game of logic and reasoning.

haskell-learning

My initial projects for learning Haskell

holochain

The new, performant, and simplified version of Holochain on Rust (sometimes called Holochain RSM for Refactored State Model)

holochain-nixpkgs

HVM

A massively parallel, optimal functional runtime in Rust

lair

secret lair private keystore

lean4

Lean 4 programming language and theorem prover

lftcm2020

Lean for the Curious Mathematician 2020

mathlib

Lean mathematical components library

mathlib4

Work in progress mathlib port for lean 4

mm0

Metamath Zero specification language

nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

rapier.rs

Official website for the Rapier physics engine.

roc

A fast, friendly, functional language. Work in progress!

rust-zome-template

Zome templates used by the Holochain dev tool HC

rustc-perf

Website for graphing performance of rustc

salsa

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

std4

Standard Library for Lean 4

task-group

tetris-bevy

A tetris clone with the Bevy game engine

theorem_proving_in_lean4

Theorem Proving in Lean 4

welcome-to-the