timotree3 Goto Github PK

holochain-rust

Holochain 2nd iteration in Rust with a Redux-like architecture and a WebAssembly Ribosome.

holochain-serialization

Abstractions to probably serialize and deserialize things properly without forgetting or doubling

holochain-tracing

Abstractions for distributed tracing

holonix

NixOS && Holochain

human-panic

😱 Panic messages for humans.

hvm

A massively parallel, optimal functional runtime in Rust

keyboard-types

Types to define keyboard related events.

lair

secret lair private keystore

lean4

Lean 4 programming language and theorem prover

lftcm2020

Lean for the Curious Mathematician 2020

lib3h

The lib3h p2p communication rust library.

magpi

Micro Arduino Gaming Platform Interface

math-games

mathlib

Lean mathematical components library

minersweeper

Massively Multiplayer Distributed Minesweeper on Holochain

minigames

miri

An interpreter for Rust's mid-level intermediate representation

misra-rust

An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.

nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

number-guess

A numeric guessing game with a Hot/Cold hint system

pazaak

Blackjack-like game from Star Wars Legends

personal-icons

Some icons for my own personal use

pokemon-showdown-client

The client for Pokémon Showdown

pptr-testing-library

puppeteer + dom-testing-library = 💖

pulldown-cmark

rapier.rs

Official website for the Rapier physics engine.

rcir

Ranked Choice Instant Runoff library written in Rust

react-learning

A set of sample things that I'm building to learn react

rfcs

RFCs for changes to Rust

rlinksdown

Answers the age old question: Are my links down?