Functional choreographic programming in Haskell

A Haskell library that adds information flow and consensus and fault-tolerant language constructs to HasChor

Choreographic programming in Scala

🎶 Choreographic programming in Rust 🎶

being an operating system for typechecking processes

Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages

Agda bindings to SMT-LIB2 compatible solvers.

Bitblasting functions into boolean formulas

Distributed Programming reading group (Spring 2019)

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

A book about compiling Racket and Python to x86-64 assembly

Implementation of CVPR 2016 paper

Autoware - the world's leading open-source software project for autonomous driving

fizz buzz in tensorflow

Collection of MRI-related documents.

Apache Accumulo

Distributed Java Collections for ZooKeeper

Chez Scheme

A less devious proof assistant

Firefox extension that replaces occurrences of 'Millennials' with 'Snake People'

Commenting without the comments

Comprehensive collection of programming styles using a simple computational task, term frequency

A planet scale, highly available, transactional database built on CRDT technology