Stars
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
A high-performance DSL for deep neural networks in Julia
Distributed Java Collections for ZooKeeper
The CompilerTools package, part of the High Performance Scripting project at Intel Labs
The ParallelAccelerator package, part of the High Performance Scripting project at Intel Labs
Firefox extension that replaces occurrences of 'Millennials' with 'Snake People'
Comprehensive collection of programming styles using a simple computational task, term frequency
A planet scale, highly available, transactional database built on CRDT technology
Racket port of the nanopass-framework