Node.js JavaScript runtime ✨🐢🚀✨

The MaPLe compiler for efficient and scalable parallel functional programming

An lldb plugin for Node.js and V8, which enables inspection of JavaScript states for insights into Node.js processes and their core dumps.

Node.js Diagnostics Working Group

A framework for applied category theory in the Julia language

An interactive command-line HTTP and API testing client built on top of HTTPie featuring autocomplete, syntax highlighting, and more. https://twitter.com/httpie

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

virtual machine in SQL

Artifacts for the PETS '20 paper, The Price is (not) Right: Comparing Privacy in Free and Paid Apps.

A Python wrapper for Kaldi

Incompatible Timesharing System

kaldi-asr/kaldi is the official location of the Kaldi project.

Simple, elegant, Pythonic functional programming.

Various material around private machine learning, some associated with blog

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

Your self-hosted, globally interconnected microblogging community

RISC-V instruction set simulator built for education

Lab Material for CAE

Dafny is a verification-aware programming language