Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by sacerdot
A curated list of projects in awesome lists by sacerdot .
https://github.com/sacerdot/minierlangblockchain
Homework: a mini-blockchain implementation in Erlang
Last synced: 26 Oct 2024
https://github.com/sacerdot/matita
An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions
Last synced: 14 Dec 2024
https://github.com/sacerdot/covidmonitoring
A small project in Erlang to pass the exam of Emerging Programming Paradigms @ University of Bologna
Last synced: 26 Oct 2024
https://github.com/sacerdot/minimalist-type-theory-in-lambda-prolog
An implementation in Lambda-Prolog of the Minimalist Type Theory
lambdaprolog proof-checking type-theory
Last synced: 14 Dec 2024
https://github.com/sacerdot/emerging2223project
Emerging Programming Languages 20223/2023 Project Specification
Last synced: 14 Dec 2024
https://github.com/sacerdot/crumbling-abstract-machines
This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
abstract-machines formalization lambda-calculus
Last synced: 14 Dec 2024
https://github.com/sacerdot/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 term
Last synced: 14 Dec 2024
https://github.com/sacerdot/matita-lean
Porting of Matita's declarative syntax to Lean
Last synced: 14 Dec 2024
https://github.com/sacerdot/causal2timedformalization
Sources for the formalization in Matita of Causal Reversibility Implies Time Reversibility
Last synced: 14 Dec 2024
https://github.com/sacerdot/functionsasprocesses
Sources for the formalization in Abella of Functions (lambda-calculus) as Processes (pi-calculus)
Last synced: 14 Dec 2024
https://github.com/sacerdot/scam
The implementation of the Strong Crumbling Abstract Machine (SCAM) for the Strong Call-by-value lambda-calculus (see paper at LICS 2021)
Last synced: 14 Dec 2024
https://github.com/sacerdot/smartanalysis
Academic code to check smart contract properties
Last synced: 14 Dec 2024
https://github.com/sacerdot/lpsearch
An indexer and search engine for LambdaPi/Dedukti
Last synced: 14 Dec 2024