A stack-driven generator of arbitrary WebAssembly programs

The Tensor Algebra SuperOptimizer for Deep Learning

A dynamic language and bytecode vm

Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance conc…

C++ FFI Generator for Ocaml

A complete computer science study plan to become a software engineer.

Generalized bananas, lenses and barbed wire

Symbolic Program Slicing with LLVM

Portable Executable parsing library (from PE-bear)

Tiny Code Generator Library

A minimalistic educational hypervisor for Windows on AMD processors.

Emacs document annotator, using Org-mode

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Minimalistic VT-x hypervisor with hooks

Project for modernizing Emacs' Package Menu. With package ratings, usage statistics, customizability, and more.

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

A compiler framework for managed code.

A work-in-progress, open-source, multi-player city simulation game.

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

The Standard Interface for Incremental Satisfiability Solving

A simple Minecraft clone written in C using modern OpenGL (shaders).

Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'

A brief presentation on Denotational Design, based on Conal Elliott's work

This repository is no longer maintained.

A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).

A Tiger-compiler implementation in OCaml

🦀 Small exercises to get you used to reading and writing Rust code!

Owl - OCaml Scientific Computing @ https://ocaml.xyz

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes