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

Choreographic programming in Scala

🎶 Choreographic programming in Rust 🎶

Functional choreographic programming in Haskell

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

A high-performance DSL for deep neural networks in Julia

fizz buzz in tensorflow

Collection of MRI-related documents.

Apache Accumulo

Distributed Java Collections for ZooKeeper

Chez Scheme

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

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

Racket port of the nanopass-framework