David Renshaw Claim this profile

Catalog Of Math Problems Formalized In Lean

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

setup for fuzzing the Rust compiler

maze game encoded in Lean 4 syntax

symbolic execution engine for Rust

event loop and promises in Rust

tool for turning Lean proofs into Blender animations

Try a tactic at each step in a Lean proof.

Chess in Lean 4

interactive backronym composition tool

A web-based collaborative LaTeX editor

user-editable, acronym-only dictionary

GitLab as a Sandstorm app

Formalization of the Rupert Problem for convex polyhedra.

collaborative website asking: can we define every word as an acronym?

asynchronous I/O in Rust

wordpress as a sandstorm app

Rust library for using ZeroMQ with Cap'n Proto serialization

Music player server with a web-based user interface.

a game whose purpose is games

Sandstorm Cap'n Proto interfaces, packaged for Rust

math puzzles from various sources, formalized in Lean

toy chat server spec and example implementations

A HTML5/JavaScript multiplayer game experiment

git repo as Sandstorm app

No description.

A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms

game for ludum dare 23

No description.

WordPress, Git-ified. Synced via SVN every 15 minutes, including branches and tags! This repository is just a mirror of the WordPress subversion repository. Please do not send pull requests. Submit patches to http://core.trac.wordpress.org/ instead.

[Incomplete] A Raft implementation in Rust

No description.

No description.

https://youtu.be/FOt-GsiNJmU

Generate all non-isomorphic matroids

configuration files

Conservative floating point interval arithmetic in Lean

A web api for compiling LaTeX documents in the cloud

The web front end for ShareLaTeX, a web-based collaborative LaTeX editor

Sandstorm port of lobste.rs

Cap'n Proto serialization/RPC system

game for ludum dare 24

game for ludum dare 22

Game for Ludum Dare 25.

submissions for http://golf.horse

Action to generate Lean documentation pages

No description.

Dependency graph plugin for plasTeX

A collection of formalized statements of conjectures in Lean.

A blueprint for a formalization of infinity-cosmos theory in Lean.

No description.

Document Generator for Lean 4

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Port of Facebook's LLaMA model in C/C++

A project to map out the relations between different equational theories of Magmas.

A petrifyingly good logic programming language

Standard Library for Lean 4

LLMs + Lean, on your laptop or in the cloud

blueprint for prime number theorem and more

Formalizing results about the Mandelbrot set in Lean

LLMs as Copilots for Theorem Proving in Lean

No description.

Lean 4 kernel / 'external checker' written in Lean 4

Security advisory database for Rust crates published through crates.io

Lean 4 programming language and theorem prover

a twitter api crate for rust

No description.

Rust library for displays using the ST7735 driver

Lights Out game for Adafruit Neotrellis

Work in progress mathlib port for lean 4

Formal to Formal Mathematics Benchmark

An extraction of the compiletest utility from the Rust compiler

Hosts the website for mathlib and other Lean community infrastructure.

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Lean mathematical components library

No description.

"Build" scripts for sandstorm's legacy sharelatex package.

american fuzzy lop - a security-oriented fuzzer

No description.

No description.

Some Lean tutorials

Zero-cost futures and streams in Rust

An API for applying incoming updates to documents in real-time

A CRUD API for storing and updating text documents in projects

An API for saving and compressing individual document updates into a browsable history

The socket.io layer of ShareLaTeX for real-time editor interactions

Metal IO library for Rust

An interpreter for Rust's mid-level intermediate representation

Rust serialization benchmark: capnproto vs. abomonation

A collection of fuzzing targets written in Rust.

Rails code running the lobste.rs link aggregation site

Cap'n Proto bindings for Node.js

An alternate Rust Playground

Command line helpers for fuzzing

OAuth client for Rust

No description.

No description.

IRC idler app for sandstorm

game for ludum dare 20

The open-source Trello-like kanban (built with Meteor)

Packaging tool for Sandstorm

A Python app to support Sandstorm integration tests.

GitHub-style identicons in JS with no server-side processing.

Open source software to collaborate on code. Follow us on twitter @gitlabhq

A modern and easy-to-use crypto library.

SIGBOVIK 2016

Rust friendly bindings to *nix APIs

compare capnp vs thrift

static file server middleware for connect. loads files once at startup and saves gzipped versions in memory

Personal Cloud Sandbox

No description.

Tool for packaging Meteor apps for Sandstorm.io

Example Sandstorm app using only the raw Cap'n Proto API.

Fast generic radix trie implementation in Rust.

Sandstorm.io login integration for Meteor applications.

No description.

simulation engine for 2d crash avoidance protocols

a safe, concurrent, practical language

Sandstorm.io public web site (static content)

SQLite3 Bindings for Rust.

website for groovebasin project

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

example code for "Cap'n Proto and Rust: Type Systems for Sharing"

game for Ludum Dare 30, using a modified version of Sandstorm.

No description.

Smart pack for fullcalendar.js

The Servo Browser Engine

Y (Game)

game for ludum dare 26

flash games

Cap'n Proto for JavaScript

Quick benchmark of Cap'n Proto RPC vs. ZeroC Ice

arduino hacking