Discover @sacerdot Open Source projects

Claudio Sacerdoti Coen (@sacerdot)

sacerdot

Stars
46
Global Rank 359,473 (Top 13 %)
Followers 44
Following 1
Registered about 9 years ago
Most used languages

OCaml
40.0 %

Mathematica 20.0 %

Erlang
20.0 %

Lean 10.0 %

Prolog
10.0 %
Location 🇮🇹 Italy
Country Total Rank 3,234
Country Ranking

Lean 4

Erlang
6

Mathematica 9

Prolog
13

OCaml
14

ocaml-http

MiniErlangBlockchain

Homework: a mini-blockchain implementation in Erlang

CovidMonitoring

A small project in Erlang to pass the exam of Emerging Programming Paradigms @ University of Bologna

matita

An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions

Minimalist-Type-Theory-In-Lambda-Prolog

An implementation in Lambda-Prolog of the Minimalist Type Theory

Emerging2223Project

Emerging Programming Languages 20223/2023 Project Specification

closure-conversion-machine

Artifact for the Closure Conversion and Abstract Machines paper

matita-lean

Porting of Matita's declarative syntax to Lean

SCAM

The implementation of the Strong Crumbling Abstract Machine (SCAM) for the Strong Call-by-value lambda-calculus (see paper at LICS 2021)

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.

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