Pinned Repositories
acsl
Sources for the ANSI/ISO C Specification Language manual
allanblanchard.github.io
bisect_ppx
Code coverage for OCaml and ReScript
club-lecture
contiki-ng
Contiki-NG: The OS for Next Generation IoT Devices
Contiki-NG-1
Frama-C-Conc2Seq
Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
tutoriel_wp
Frama-C and WP tutorial
vscode-ocp-indent
Provide OCP-Indent in VSCode for Ocaml code formatting
AllanBlanchard's Repositories
AllanBlanchard/tutoriel_wp
Frama-C and WP tutorial
AllanBlanchard/vscode-ocp-indent
Provide OCP-Indent in VSCode for Ocaml code formatting
AllanBlanchard/Frama-C-Conc2Seq
Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
AllanBlanchard/acsl
Sources for the ANSI/ISO C Specification Language manual
AllanBlanchard/allanblanchard.github.io
AllanBlanchard/bisect_ppx
Code coverage for OCaml and ReScript
AllanBlanchard/club-lecture
AllanBlanchard/contiki-ng
Contiki-NG: The OS for Next Generation IoT Devices
AllanBlanchard/Contiki-NG-1
AllanBlanchard/dune
A composable build system for OCaml.
AllanBlanchard/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
AllanBlanchard/guillaumebelz.github.io
AllanBlanchard/NazarustEngine
An experiment to rewrite NazaraEngine using Rust
AllanBlanchard/Not-a-Hub
Blog technique de la communauté NaN
AllanBlanchard/ocaml
The core OCaml system: compilers, runtime system, base libraries
AllanBlanchard/ocaml.org
The official OCaml website.
AllanBlanchard/odoc
Documentation compiler for OCaml and Reason
AllanBlanchard/opam-repository
Main public package repository for opam, the source package manager of OCaml.
AllanBlanchard/sdl_wrapper
Basic SDL wrapper
AllanBlanchard/wiki-sandbox
A repository whose sole purpose is to expose a pubic wiki for editors to draft their contributions
AllanBlanchard/x509-parser
a RTE-free X.509 parser