Discover @dwrensha Open Source projects

David Renshaw (@dwrensha)

dwrensha

Stars
795
Global Rank 38,109 (Top 2 %)
Followers 299
Following 5
Registered about 14 years ago
Most used languages

Rust
33.3 %

JavaScript
18.5 %

Lean 18.5 %

Cap'n Proto 11.1 %

Standard ML 3.7 %

AGS Script 3.7 %

Ruby
3.7 %

C++
3.7 %

PHP
3.7 %
Location 🇺🇸 United States
Country Total Rank 10,443
Country Ranking

Cap'n Proto 2

Lean 5

AGS Script 15

Standard ML 129

Rust
358

PHP
5,700

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

zillions

toy chat server spec and example implementations

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