Starred repositories
The MaPLe compiler: 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.
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.
Artifacts for the PETS '20 paper, The Price is (not) Right: Comparing Privacy in Free and Paid Apps.
2
Updated Feb 22, 2020
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
Dafny is a verification-aware programming language