Antonin Reitz's repositories
FStar
A Proof-oriented Programming Language
Language:F*Apache-2.0000
fstar-mode.el
Emacs support for F*
Language:Emacs LispApache-2.0000
hacl-nix
Nix expressions to build HACL*
Language:Nix000
hsan
C/C++ headers analyser/sanitizer.
Language:Python000
ILAng-Doc
ILAng documentation
MIT000
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCamlApache-2.0000
mimalloc-bench
Suite for benchmarking malloc implementations.
Language:CMIT000
picOS
Lets make OSDEV disclaimers lie
Language:C000
riscv-tools-w-gnu-toolchain
RISC-V Tools (ISA Simulator and Tests) with up-to-date GNU toolchain
Language:Shell000
mixxx
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
Language:C++NOASSERTION000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
rpmalloc
Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
NOASSERTION000
steel
The Steel separation logic library for F*
Language:OCamlApache-2.0000
Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
Language:C++MIT000