Pinned Repositories
barnes-the-hutt
Fast 2D n-body simulation with a parallel quad tree construction à la Barnes-Hut.
concolic
Concolic execution for an idealized assembly language.
ethmsg
A decentralized, encrypted messenger running on the Ethereum platform.
exit-chess
A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.
libgen-cli
mc-coq
LTL semantics and proven-correct bounded model checking in Coq
stlc-as2
Proof of type-safety for STLC with bools using a well-scoped de Bruijn representation and AutoSubst2
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.
tinygalaga
Just a little Galaga clone written in Java.
StdLibKami
Standard Library of Kami Modules
jaykru's Repositories
jaykru/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.
jaykru/barnes-the-hutt
Fast 2D n-body simulation with a parallel quad tree construction à la Barnes-Hut.
jaykru/libgen_dl
super-fast interactive console libgen downloader, supporting concurrent downloads
jaykru/mc-coq
LTL semantics and proven-correct bounded model checking in Coq
jaykru/concolic
Concolic execution for an idealized assembly language.
jaykru/eot-koika
An even-odd-transpose sorting network in the kôika register-transfer-level language.
jaykru/exit-chess
A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.
jaykru/agda-categories
A new Categories library for Agda
jaykru/barnes-hut-hs
Barnes-Hut gravitation simulation implemented in Haskell: working and parallelized some day?
jaykru/cryptopals
jaykru/dotfiles
jaykru/flicker
jaykru/fluffy-octo-bassoon
jaykru/GitHubGraduation-2021
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
jaykru/go-z3
Go (golang) bindings to the Z3 SMT Solver
jaykru/info_sim
modeling communication by gossip *in rust*
jaykru/lean-step-public
Proof artifact co-training for Lean
jaykru/lichess-bot
A bridge between Lichess API and chess engines
jaykru/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
jaykru/macintosh
jaykru/nixos-configuration
My NixOS Configuration
jaykru/puzzle-a-day-solver
Finds a solution to DragonFjord's "A-Puzzle-A-Day" for a given date
jaykru/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
jaykru/sor
a companion to https://github.com/google/walk
jaykru/theorem_proving_in_lean4
Theorem Proving in Lean 4
jaykru/thesis-max-rosenberg
jaykru/tsugite
This is the repository of a Tsugite. It is a research prototype of an interactive software that supports the design and fabrication of wood joints.
jaykru/tt-kmd
Tenstorrent Kernel Module
jaykru/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
jaykru/vcd.el