Stars
I'm trying to update the Real World Haskell book
Functional choreographic programming in Haskell
A Haskell library that adds information flow and consensus and fault-tolerant language constructs to HasChor
being an operating system for typechecking processes
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
A book about compiling Racket and Python to x86-64 assembly
Autoware - the world's leading open-source software project for autonomous driving
fizz buzz in tensorflow
Distributed Java Collections for ZooKeeper
Firefox extension that replaces occurrences of 'Millennials' with 'Snake People'
Comprehensive collection of programming styles using a simple computational task, term frequency