Pinned Repositories
FStar
A Proof-oriented Programming Language
fstar-mode.el
Emacs support for F*
hacl-nix
Nix expressions to build HACL*
hsan
C/C++ headers analyser/sanitizer.
ILAng
A Modeling and Verification Platform for SoCs using ILAs
ILAng-Doc
ILAng documentation
IMDb
ILA Model Database
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
nix-mimalloc-bench
StarMalloc
A verified, modern, hardened memory allocator.
cmovcc's Repositories
cmovcc/nix-mimalloc-bench
cmovcc/FStar
A Proof-oriented Programming Language
cmovcc/fstar-mode.el
Emacs support for F*
cmovcc/hacl-nix
Nix expressions to build HACL*
cmovcc/hsan
C/C++ headers analyser/sanitizer.
cmovcc/ILAng
A Modeling and Verification Platform for SoCs using ILAs
cmovcc/ILAng-Doc
ILAng documentation
cmovcc/IMDb
ILA Model Database
cmovcc/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
cmovcc/mimalloc-bench
Suite for benchmarking malloc implementations.
cmovcc/picOS
Lets make OSDEV disclaimers lie
cmovcc/riscv-tools-w-gnu-toolchain
RISC-V Tools (ISA Simulator and Tests) with up-to-date GNU toolchain
cmovcc/mixxx
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
cmovcc/nixpkgs
Nix Packages collection & NixOS
cmovcc/opam-repository
Main public package repository for opam, the source package manager of OCaml.
cmovcc/rpmalloc
Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
cmovcc/steel
The Steel separation logic library for F*
cmovcc/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada: