jsarracino

Lawrence Livermore National Lab

Pinned Repositories

bld-server
Language:Haskell10
dependent-regular-grammars
Language:Coq1 2 00
hasgll
Language:Haskell10
mech-kat
Language:Coq10
mirrorsolve
Language:Coq5 3 01
spyder
Language:Haskell50
mockdown
The complete Mockdown pipeline implemented in Python 3.7.
Language:Jupyter Notebook11
ed-vis-gen
Educational Visualization DSL and Synthesis
Language:JavaScript1 8 60

jsarracino's Repositories

jsarracino/bld-server
Language:Haskell10
jsarracino/apparatus
A hybrid graphics editor and programming environment for creating interactive diagrams.
Language:JavaScript
jsarracino/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript
jsarracino/hails
The security-centric web platform framework
Language:Haskell
jsarracino/ocaml-tailrec
A .cmt parser to assert whether functions are tail-recursive
Language:OCaml
jsarracino/OpenWorm
Project Home repo for OpenWorm Wiki and Project-wide issues
jsarracino/SKInterpreter
A Scala interpreter for the SKI language.
Language:Scala1 0