A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

A repository for the stack switching proposal.

A little web app that helps you copy+paste syntax-highlighted code into slide decks.

Online textbook for CS 161: Computer Security at UC Berkeley.

Plugin for Neural Amp Modeler

Troupe programming language

A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.

The Flix Programming Language

🕵️ Source code plagiarism detection

A modern, highly customizable, responsive Jekyll template for course websites.

A library for static information-flow control in Idris

A new operating system kernel with Linux binary compatibility written in Rust.

Deadline countdowns for academic conferences in Security and Privacy

A Proof-oriented Programming Language

Research at Protocol Labs

The MLton repository

Stop relying on GUI; CLI **ROCKS**

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Forum for discussing Internet censorship circumvention

Tracking WebAssembly proposals

BFT-SMaRt's project home page

Examination of security and privacy implications of automated contact tracing

A lightweight and colourful test framework

Responsive, animated figures in JavaScript/HTML canvases

C in four functions

A lexical analyser generator for Haskell

libp2p implementation in Go

A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.

Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-set-ghc-gc-pick-two/

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more