Vectorized version of the PCG random number generator

Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly

A toolset for describing and simulating StateChart-like state diagrams.

First Practical and General-purpose Range Filter

A kernel module which provide a pool of deduplicated and/or compressed block storage.

Cucumber for OCaml

The web framework nobody asked for, wants, or needs.

Stealing Webpages Rendered on Your Browser by Exploiting GPU Vulnerabilities

Finds optimal code sequences for stack transformations

Nanopass for OCaml

ScatterAlloc: Massively Parallel Dynamic Memory Allocation for the GPU

Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.

FunTAL: mixing a functional language with assembly.

A logic programming library for Common Lisp.

arthur whitney's b interpreter translated into a more traditional flavor of C

FairFuzz: AFL extension targeting rare branches

A domain-specific language for state machines.

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

Printer Exploitation Toolkit - The tool that made dumpster diving obsolete.

λ² is a tool for synthesizing functional programs from input-output examples.

Highly optimized implementation of tiered vectors, a data structure for maintaining a sequence of n elements supporting access in time O(1) and insertion and deletion in time O(n^ε) for ε > 0 while…

Amiga OCS demoscene related sources

Compact tries for fixed-width keys

Software composite PAL modulation/demodulation experiments

tired of typing afl-fuzz? try bun!

Attempt at implementing the Magic Ringbuffer in Rust

Robin Hood hash map library

minimal, sensible alternatives to echo(1)

A (nearly) uncloneable repo

Lock-free parallel disjoint set data structure (aka UNION-FIND) with path compression and union by rank