Skip to content
Avatar
Block or Report

Block or report sacerdot

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. Homework: a mini-blockchain implementation in Erlang

    Erlang 9 1

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

    Erlang 6 6

  3. An implementation in Lambda-Prolog of the Minimalist Type Theory

    Prolog 5 3

  4. 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, G…

    Mathematica 2 1

  5. SCAM Public

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

    OCaml 1

1 contribution in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2022

sacerdot has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.