Compiling to Categories

Generative art in Common Lisp

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.

Development repository for the Triton language and compiler

🧵 Make web workers & worker threads as simple as a function call.

Open source code for AlphaFold.

Create beautiful diagrams just by typing notation in plain text.

Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

rd is a record/replay debugger written in rust

a debugger for async rust!

Hosting read-only SQLite databases on static file hosters like Github Pages

Exploration of x86-64 ISA using speculative execution.

Emulator for rapid prototyping of Software Defined Networks

Easy bidirectional serialization in Haskell

dipa makes it easy to efficiently delta encode large Rust data structures.

Extensional capabilities and deriving combinators

A machine-learning-based tool for discovering differential privacy violations in black-box algorithms.

Symbolic formula representation and solver interaction library

Haskell Framework for Electronic Music

Solving i18n for client-side and resource-constrained environments.

"Distributions" that might not add to one.

Safe cross-platform linker shenanigans

Berty is a secure peer-to-peer messaging app that works with or without internet access, cellular data or trust in the network

Python code for "Probabilistic Machine learning" book by Kevin Murphy

Fast suffix arrays for Rust (with Unicode support).

Learning FPGA, yosys, nextpnr, and RISC-V

A modern load testing tool, using Go and JavaScript - https://k6.io