Jay Kruer (@jaykru)
github

jaykru

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 640,821 (Top 23 %)
  • Followers 21
  • Following 31
  • Registered almost 13 years ago
  • Most used languages
    Coq     30.0 %
    Common Lisp
         20.0 %
    TeX
         10.0 %
    OCaml
         10.0 %
    CSS
         10.0 %
    Java
         10.0 %
    C++
         10.0 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 122,261
  • Country Ranking
    Coq     114
    Common Lisp
         499
    OCaml
         1,007
    TeX
         2,585

Top repositories

1

tinygalaga

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

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.
TeX
3
star
3

stlc-as2

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

exit-chess

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

ethmsg

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

libgen_dl

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

mix

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

barnes-the-hutt

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

RMS9000

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

mc-coq

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