There are no reviews yet. Be the first to send feedback to the community and the maintainers!
ocaml-http
MiniErlangBlockchain
Homework: a mini-blockchain implementation in ErlangCovidMonitoring
A small project in Erlang to pass the exam of Emerging Programming Paradigms @ University of Bolognamatita
An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive ConstructionsMinimalist-Type-Theory-In-Lambda-Prolog
An implementation in Lambda-Prolog of the Minimalist Type TheoryEmerging2223Project
Emerging Programming Languages 20223/2023 Project Specificationclosure-conversion-machine
Artifact for the Closure Conversion and Abstract Machines papermatita-lean
Porting of Matita's declarative syntax to LeanSCAM
The implementation of the Strong Crumbling Abstract Machine (SCAM) for the Strong Call-by-value lambda-calculus (see paper at LICS 2021)sesame
Implementation in OCaml of a strong reduction machine for Intuitionistic Multiplicative Exponential Linear Logic (IMELL) that has linear overhead on the number of reduction steps and the size of the initial termLove Open Source and this site? Check out how you can help us