Pinned Repositories
hanabi-live
A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
holochain
The current, performant & industrial strength version of Holochain on Rust.
mathlib4
The math library of Lean 4
rust
Empowering everyone to build reliable and efficient software.
aoc-2020
My advent of code solutions for 2020
badger-docs
Agile Badger Minecraft server documentation.
Battleship
My first battleship game. Written in python.
hanabi.rs
State of the art Hanabi bots + simulation framework in rust
Pazaak
Blackjack-like game from Star Wars Legends
timotree3's Repositories
timotree3/hanabi.rs
State of the art Hanabi bots + simulation framework in rust
timotree3/aoc2023
Advent of Code 2023!
timotree3/argon2min
The pure-Rust password hashing library running on Argon2.
timotree3/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.
timotree3/egglog
egraphs + datalog!
timotree3/hanabi-1
Computer players for a collaborative card game
timotree3/hanabi-live
A web server that allows people to play Hanabi, a cooperative card game of logic and reasoning.
timotree3/haskell-learning
My initial projects for learning Haskell
timotree3/holochain
The new, performant, and simplified version of Holochain on Rust (sometimes called Holochain RSM for Refactored State Model)
timotree3/holochain-nixpkgs
timotree3/HVM
A massively parallel, optimal functional runtime in Rust
timotree3/lair
secret lair private keystore
timotree3/lean4
Lean 4 programming language and theorem prover
timotree3/lftcm2020
Lean for the Curious Mathematician 2020
timotree3/mathlib
Lean mathematical components library
timotree3/mathlib4
Work in progress mathlib port for lean 4
timotree3/mm0
Metamath Zero specification language
timotree3/nomicon
The Dark Arts of Advanced and Unsafe Rust Programming
timotree3/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
timotree3/rapier.rs
Official website for the Rapier physics engine.
timotree3/roc
A fast, friendly, functional language. Work in progress!
timotree3/rust-zome-template
Zome templates used by the Holochain dev tool HC
timotree3/rustc-perf
Website for graphing performance of rustc
timotree3/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
timotree3/std4
Standard Library for Lean 4
timotree3/sudoku
A sudoku game where you have to prove that your deductions are valid
timotree3/task-group
timotree3/tetris-bevy
A tetris clone with the Bevy game engine
timotree3/theorem_proving_in_lean4
Theorem Proving in Lean 4
timotree3/welcome-to-the