Ernesto Copello's repositories
plutus-cardano-samples
Plutus examples
formalmetatheory-nominal
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
formalmetatheory-nominal-Church-Rosser
Formalisation of Church Rosser Theorem
formalmetatheory-stoughton
We develop metatheory of the Lambda calculus in Constructive Type Theory, which is made possible by the use of an appropriate notion of substitution, due to A. Stoughton.
genericBindingFramework
A generic programming bindig framework based on regular trees
blockchain
HTTP RESTful API Blockchain handling transactions but no blocks, double spending is allowed :). Transactions are stored in memory.
hacker_news
An Erlang OTP application with a gen_server process that fetch every 5 minutes the top stories from https://hacker-news.firebaseio.com/v0, and make stories available via two public APIs: JSON over http and JSON over WebSockets.
leagues_web
Elixir web api serving football matches in JSON and Protobuffers formats
notifier
Asynchronous notifier service
cedilleparser
Cedille dependant typed programming language parser
stache
Mustache templates for Haskell