fabbing

caddy

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

typst

A new markup-based typesetting system that is powerful and easy to learn.

functional-programming-jargon

Jargon from the functional programming world in simple terms!

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

rr

Record and Replay Framework

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

pmu-tools

Intel PMU profiling tools

linux-kernel-defence-map

Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

pympress

Pympress is a simple yet powerful PDF reader designed for dual-screen presentations

polonium

Autotile manager for Plasma 6

solo5

A sandboxed execution environment for unikernels

slipshow

An engine for displaying slips, the next-gen version of slides

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

ocaml-solo5

Freestanding OCaml runtime

sandmark

A benchmark suite for the OCaml compiler

inside-ocaml

Documentation of the OCaml implementation

runtime_events_tools

multicoretests

PBT testsuite and libraries for testing multicore OCaml

babiseat

add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs

compose

Automated musical imitation

dotfiles

Here are my dotfiles.

maiste.github.io

Personal website

ocaml_tsan_icfp

Runtime Detection of Data Races in OCaml with ThreadSanitizer

hexcells_solver

otini.chnik.fr

My personal website

blog

so_perform_segfault

unikraft-ocaml

The OCaml 5 runtime (libasmrun.a) built for unikraft