This is a boilerplate repo for the hackathon participants.

Reactive Network Public Documentation

Reactive Network Subscription Service

Build Cosmos SDK applications on the OP Stack.

Kontrol Workshop at ETHCC[7]

Testnet Faucet for REACT

A compilation of various Reactive Smart Contracts and use cases

Boilerplate project for PARSIQ Data Lake SDK

PARSIQ Tsunami API javascript client

Mastering Ethereum: 2nd Edition, by Andreas M. Antonopoulos, Gavin Wood, Carlo Parisi, Alessandro Mazza, Niccolò Pozzolini

Paradoxes of type theory, described didactically. With accompanying proofs in Agda.

A nano "theorem prover".

An introduction to programming language theory in Agda

A collection of debugging stories. PRs welcome (sorry for the backlog) :-)

The Hack Standard Library

Software Foundations in Idris

WIP implementation of a Haskell-like Lisp in Racket

An Idris type provider for communicating type-checkable protocols.

Programming Languages Zoo

2048 in Standard ML

What I Wish I Knew When Learning Haskell

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016

generative testing for PHP