Specification of the LFI sandboxing scheme.

LFI rewriter for GNU assembly.

Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

HiStar operating system (not under active development)

Portable, efficient, safe execution of untrusted x86 code

Library for creating interactive cli applications.

A Scalable, User-Friendly Source Control System.

Rust LZ4 bindins library

Serverless replay of web archives directly in the browser

lz4 for browser

Zstandard - Fast real-time compression algorithm

A novel data compression framework

Mirror of eigen 3.4.0

Jan's Fast Fourier Transform

Scheme compiler to bytecode in C

A curses library for environments that don't fit the termcap/terminfo model.

Jan's textual user interface

IBM PC/XT emulator

Peace of mind from prototype to production

Elixir is a dynamic, functional language for building scalable and maintainable applications

stderr in red

Tail on steroids

Python implementation of the PageKite remote front-end protocols.

Web player for terminal session recordings

asciinema virtual terminal

Platform for hosting and sharing terminal session recordings