cmovcc

CS student at Ecole Normale Supérieure, Paris

@INRIA (previously @PrincetonUniversity )

Pinned Repositories

FStar
A Proof-oriented Programming Language
Language:F*00
fstar-mode.el
Emacs support for F*
Language:Emacs Lisp00
hacl-nix
Nix expressions to build HACL*
Language:Nix00
hsan
C/C++ headers analyser/sanitizer.
Language:Python00
ILAng
A Modeling and Verification Platform for SoCs using ILAs
Language:C++00
ILAng-Doc
ILAng documentation
00
IMDb
ILA Model Database
Language:C++00
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCaml00
picOS
Lets make OSDEV disclaimers lie
Language:C00
riscv-tools-w-gnu-toolchain
RISC-V Tools (ISA Simulator and Tests) with up-to-date GNU toolchain
Language:Shell00

cmovcc's Repositories

cmovcc/FStar
A Proof-oriented Programming Language
Language:F*00
cmovcc/fstar-mode.el
Emacs support for F*
Language:Emacs Lisp00
cmovcc/hacl-nix
Nix expressions to build HACL*
Language:Nix00
cmovcc/hsan
C/C++ headers analyser/sanitizer.
Language:Python00
cmovcc/ILAng
A Modeling and Verification Platform for SoCs using ILAs
Language:C++00
cmovcc/ILAng-Doc
ILAng documentation
00
cmovcc/IMDb
ILA Model Database
Language:C++00
cmovcc/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCaml00
cmovcc/picOS
Lets make OSDEV disclaimers lie
Language:C00
cmovcc/riscv-tools-w-gnu-toolchain
RISC-V Tools (ISA Simulator and Tests) with up-to-date GNU toolchain
Language:Shell00
cmovcc/mimalloc-bench
Suite for benchmarking malloc implementations.
Language:C
cmovcc/mixxx
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
Language:C++
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*
Language:OCaml
cmovcc/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
Language:C++0 0