Pinned Repositories
axel
Haskell + Lisp
coq-alpha-pearl
Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).
Pressure-Sensor
Pressure Sensor Code with Force Sensitive Resistor (FSR) for Arduino
jgrosso's Repositories
jgrosso/coq-alpha-pearl
Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).
jgrosso/advent-of-code-2022
jgrosso/agda-stdlib
The Agda standard library
jgrosso/brittany
haskell source code formatter
jgrosso/causality
An Agda formalization of material related to causal graphs (as defined by Judea Pearl et al.).
jgrosso/cmu-PAM
Parallel Balanced Binary Tree Structures
jgrosso/derivative-parsing
Derivative regex parser
jgrosso/deriving
Class instances for Coq inductive types with little boilerplate
jgrosso/dummy-repo-123
Empty Repository for various Git testing purposes
jgrosso/firefox-omnibar
jgrosso/hackett
WIP implementation of a Haskell-like Lisp in Racket
jgrosso/hs-editor
Haskell text editor
jgrosso/lfs-test
jgrosso/libgit2
The Library
jgrosso/mandelbrot-hs
jgrosso/mandelbrot-rs
jgrosso/masquerade
jgrosso/minilisp
jgrosso/monty-hall
Exploration of the Monty Hall Problem.
jgrosso/nodegit
Native Node bindings to Git.
jgrosso/nodegit-lfs
LFS for NodeGit
jgrosso/nodegit-lfs-test-repo
jgrosso/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
jgrosso/phone-remote
jgrosso/plfa-solutions
My personal solutions and experiments for /Programming Language Foundations in Agda/.
jgrosso/polysemy
:gemini: higher-order, no-boilerplate monads
jgrosso/ps-tanks
Experimental clone of the time-honored Tanks game, in PureScript.
jgrosso/selenium-3.x.x-docs
A browser automation framework and ecosystem.
jgrosso/shapehs
A shape-based console drawing library in Haskell.
jgrosso/test