jaykru/thesis jaykru/thesis

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TeX
  • Created about 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaykru/thesis
github

jaykru

Reviews

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

Repository Details

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.

More Repositories

1

tinygalaga

Just a little Galaga clone written in Java.
Java
6
star
2

stlc-as2

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

exit-chess

A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.
C++
1
star
4

ethmsg

A decentralized, encrypted messenger running on the Ethereum platform.
CSS
1
star
5

libgen_dl

super-fast interactive console libgen downloader, supporting concurrent downloads
OCaml
1
star
6

mix

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

barnes-the-hutt

Fast 2D n-body simulation with a parallel quad tree construction Γ  la Barnes-Hut.
Common Lisp
1
star
8

RMS9000

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

mc-coq

LTL semantics and proven-correct bounded model checking in Coq
Coq
1
star