David Renshaw

icon location Pittsburgh, PA

Results 10 repositories owned by David Renshaw

acronymy

22
Stars
3
Forks
Watchers

user-editable, acronym-only dictionary

verified publisher icon dwrensha

fuzz-rustc

55
Stars
4
Forks
Watchers

setup for fuzzing the Rust compiler

verified publisher icon dwrensha

gitlab-sandstorm

21
Stars
8
Forks
Watchers

GitLab as a Sandstorm app

verified publisher icon dwrensha

gj

109
Stars
13
Forks
Watchers

event loop and promises in Rust

verified publisher icon dwrensha

lean4-maze

41
Stars
4
Forks
Watchers

maze game encoded in Lean 4 syntax

verified publisher icon dwrensha

sandstorm-rawapi-example-rust

23
Stars
6
Forks
Watchers

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

verified publisher icon dwrensha

seer

335
Stars
8
Forks
Watchers

symbolic execution engine for Rust

verified publisher icon dwrensha

sharelatex

18
Stars
8
Forks
Watchers

A web-based collaborative LaTeX editor

verified publisher icon dwrensha

acronymy-assistant

22
Stars
2
Forks
Watchers

interactive backronym composition tool

verified publisher icon dwrensha

compfiles

50
Stars
8
Forks
Watchers

Catalog Of Math Problems Formalized In Lean

verified publisher icon dwrensha