Pinned Repositories
bld-server
dependent-regular-grammars
hasgll
mech-kat
mirrorsolve
spyder
mockdown
The complete Mockdown pipeline implemented in Python 3.7.
ed-vis-gen
Educational Visualization DSL and Synthesis
jsarracino's Repositories
jsarracino/mirrorsolve
jsarracino/spyder
jsarracino/bld-server
jsarracino/dependent-regular-grammars
jsarracino/hasgll
jsarracino/mech-kat
jsarracino/antlr-haskell
A language parsing quasiquoter for Haskell based heavily on ANTLR4.
jsarracino/apted
APTED algorithm for the Tree Edit Distance
jsarracino/boogaloo
jsarracino/brunch-guide
A comprehensive guide to Brunch
jsarracino/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
jsarracino/coq2vec
A module for encoding coq terms into fixed-width vectors
jsarracino/coq_proof_testing
A library for scraping proof data from a Coq .v file into static text, using the coq_serapy interface to Coq (a python binding for coq-serapi).
jsarracino/coq_serapy
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
jsarracino/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
jsarracino/cpython
The Python programming language
jsarracino/fp-course
Fork of the original Data61 course to be more Stack friendly
jsarracino/fp-course-1
Functional Programming Course
jsarracino/gilly
GLL parser generator for Idris
jsarracino/hails
The security-centric web platform framework
jsarracino/latex-paper-template
jsarracino/mttex
A LaTeX package for formatting meta-theory.
jsarracino/node-progress
Flexible ascii progress bar for nodejs
jsarracino/pcg-random
PCG RNG for JavaScript
jsarracino/petr4
Petr4: Formal Semantics for P4
jsarracino/pl.cs.cornell.edu
Website for PL@Cornell
jsarracino/sawyer
Library for developing C++ libraries and tools, command-line parsing, diagnostic output, assertions, containers, etc.
jsarracino/smtcoq
Communication between Coq and SAT/SMT solvers
jsarracino/stream-monad
Simple, Fair and Terminating Backtracking Monad
jsarracino/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]