jaykru/ethmsg

Stars
1
Language
CSS
License
MIT License
Created about 8 years ago
Updated almost 8 years ago

jaykru/ethmsg

jaykru

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

A decentralized, encrypted messenger running on the Ethereum platform.

tinygalaga

Just a little Galaga clone written in Java.

thesis

my reed college thesis! the thesis develops functorial semantics a la Lawvere, and ultimately demonstrates a proof by Artin gluing of open normalization for the simply typed lambda calculus.

stlc-as2

Proof of type-safety for STLC with bools using a well-scoped de Bruijn representation and AutoSubst2

exit-chess

A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.

libgen_dl

super-fast interactive console libgen downloader, supporting concurrent downloads

mix

A formalization of the world's first polyunsaturated computer, and a framework for proving correct programs written for it.

barnes-the-hutt

Fast 2D n-body simulation with a parallel quad tree construction à la Barnes-Hut.

RMS9000

A simple IRC bot written in Common Lisp using regular expressions to correct rampant misnomers.

mc-coq

LTL semantics and proven-correct bounded model checking in Coq