jsarracino Goto Github PK

antlr-haskell

A language parsing quasiquoter for Haskell based heavily on ANTLR4.

apparatus

A hybrid graphics editor and programming environment for creating interactive diagrams.

apted

APTED algorithm for the Tree Edit Distance

bld-server

boogaloo

brunch-guide

A comprehensive guide to Brunch

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

coq2vec

A module for encoding coq terms into fixed-width vectors

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).

coq_serapy

Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

cpp-peglib

A single file C++ header-only PEG (Parsing Expression Grammars) library

cpython

The Python programming language

definitelytyped

The repository for high quality TypeScript type definitions.

dependent-regular-grammars

fp-course

Fork of the original Data61 course to be more Stack friendly

fp-course-1

Functional Programming Course

gilly

GLL parser generator for Idris

hails

The security-centric web platform framework

hasgll

latex-paper-template

mech-kat

mirrorsolve

mttex

A LaTeX package for formatting meta-theory.

node-progress

Flexible ascii progress bar for nodejs

ocaml-tailrec

A .cmt parser to assert whether functions are tail-recursive

openworm

Project Home repo for OpenWorm Wiki and Project-wide issues

pcg-random

PCG RNG for JavaScript

petr4

Petr4: Formal Semantics for P4