Programming language for literate programming law specification

Compiler for the Niagara language

🇫🇷 The French Government Design system React toolkit

Download Calameo books in SVG and/or PNG and create PDF using Python requests.

Fetch the APL calculation via playwright

Guide sur les algorithmes publics à l'usage des administrations

Newton root-finding algorithm written in Rust

Le langage pour les algorithmes d'intérêt public

Efficient binder representation in OCaml

The essence of Rust.

Rust to F* toolchain

Verification working group

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Please check out https://github.com/hacspec/hacspec for more information on hacspec

HACL*, a formally verified cryptographic library written in F*

A Proof-oriented Programming Language

WebAssembly text output using wasmparser in rust

A simple event-driven library for parsing WebAssembly binary files

Cranelift code generator

Provisioning for Projet Sigma server

Code for the LaTeX package of École polytechnique

Le guide des bars d'étages et de Chocapix

Backend du site des bars d'étages de l'École polytechnique