dwrensha/zillions

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Rust
License
Apache License 2.0
Created about 8 years ago
Updated about 7 years ago

dwrensha/zillions

dwrensha

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

toy chat server spec and example implementations

seer

symbolic execution engine for Rust

gj

event loop and promises in Rust

fuzz-rustc

setup for fuzzing the Rust compiler

lean4-maze

maze game encoded in Lean 4 syntax

animate-lean-proofs

tool for turning Lean proofs into Blender animations

acronymy

user-editable, acronym-only dictionary

compfiles

Catalog Of Math Problems Formalized In Lean

acronymy-assistant

interactive backronym composition tool

sandstorm-rawapi-example-rust

Example Sandstorm app using only the raw Cap'n Proto API, written in Rust.

gitlab-sandstorm

GitLab as a Sandstorm app

gjio

asynchronous I/O in Rust

wordpress-sandstorm

wordpress as a sandstorm app

duoludo

a game whose purpose is games

capnp-zmq-rust

Rust library for using ZeroMQ with Cap'n Proto serialization

sandstorm-rust

Sandstorm Cap'n Proto interfaces, packaged for Rust

acronymy-workers

user-editable, acronym-only dictionary

math-puzzles-in-lean

math puzzles from various sources, formalized in Lean

gitweb-sandstorm

git repo as Sandstorm app

nicer-trees

Chess.lean

Chess in Lean 4

fuzz-capnproto

capnp-gj

config

configuration files

lepidopter

game for ludum dare 24

asciiworld

game for ludum dare 23

aione

game for ludum dare 22

lobsters-sandstorm

Sandstorm port of lobste.rs