Pinned Repositories
Eulerian-Bridges
Math maze thing
gilgl
git_demo_2112
Demo or something
independence_parallel_axiom
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
itree-refinement
Defining a notion of refinement on itrees
itree_cpo
Mutual-Induction-Tutorial
Rewrite-Tutorial
uplcg
Untitled PL Card Game
lag47's Repositories
lag47/Mutual-Induction-Tutorial
lag47/Rewrite-Tutorial
lag47/uplcg
Untitled PL Card Game
lag47/Eulerian-Bridges
Math maze thing
lag47/gilgl
lag47/git_demo_2112
Demo or something
lag47/independence_parallel_axiom
lag47/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
lag47/itree-refinement
Defining a notion of refinement on itrees
lag47/itree_cpo
lag47/jupyter_example
lag47/lag47.github.io
lag47/lecture
lag47/lecture-demos
Lecture demos for Cornell CS 2043
lag47/MathGram
An implementation of a context-free grammar for math expressions that supports evaluation and differentiation
lag47/mrec
This repo is for working out the theory for an mrec combinator for the itrees library
lag47/PennCISQuotes
People say things. Sometimes we listen. Sometimes we write it down.
lag47/plclub-web
A Hakyll [plclub] website.
lag47/proof_gen_universe_ex
lag47/pyform
Simple Visualization of basic vector transformations Educational tool intended for ~7/8th grade math
lag47/relative_monads
Like Monads but Relative
lag47/Resume
lag47/saw-script
The SAW scripting language.
lag47/Whack-A-Zack
Android Application
lag47/wpeii
lag47/zilang