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

C++ websocket client/server library

Circuit Modelling with Wave Digital Filters

Pure C++17 Signals and Slots

A curated list of software for learning synthesis.

Mirror of eigen 3.4.0

Jan's Fast Fourier Transform

Real-time neural network inferencing

Scheme compiler to bytecode in C

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

Jan's textual user interface

PDCurses - a curses library for environments that don't fit the termcap/terminfo model.

IBM PC/XT emulator

Peace of mind from prototype to production

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