-
-
stache Public
Forked from stackbuilders/stacheMustache templates for Haskell
Haskell MIT License UpdatedMay 29, 2023 -
-
Formalisation of Church Rosser Theorem
-
notifier Public
Asynchronous notifier service
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 11, 2019 -
blockchain Public
HTTP RESTful API Blockchain handling transactions but no blocks, double spending is allowed :). Transactions are stored in memory.
-
hacker_news Public
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 …
-
leagues_web Public
Elixir web api serving football matches in JSON and Protobuffers formats
-
genericBindingFramework Public
A generic programming bindig framework based on regular trees
-
formalmetatheory-stoughton Public
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.
-
formalmetatheory-nominal Public
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
-
cedilleparser Public
Cedille dependant typed programming language parser
Haskell UpdatedFeb 7, 2018 -
mergesort Public
Merge sort correctness proof
{{ message }}