denismerigoux

denismerigoux's Stars

• kopek-org/niagara-lang

  Compiler for the Niagara language

  Language:OCaml36

• codegouvfr/react-dsfr

  🇫🇷 The French Government Design system React toolkit

  Language:TypeScript41656

• whoisoscar/calameo-downloader

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

  Language:Python197

• jboillot/apl-fetcher

  Fetch the APL calculation via playwright

  Language:TypeScript1

• etalab/algorithmes-publics

  Guide sur les algorithmes publics à l'usage des administrations

  227

• CatalaLang/catala

  Programming language for literate programming law specification

  Language:OCaml2k77

• Nateckert/newton_rootfinder

  Newton root-finding algorithm written in Rust

  Language:Rust73

• publicodes/publicodes

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

  Language:TypeScript16133

• rlepigre/ocaml-bindlib

  Efficient binder representation in OCaml

  Language:OCaml406

• aatxe/oxide

  The essence of Rust.

  Language:OCaml1246

• denismerigoux/rox-star

  Rust to F* toolchain

  Language:F*401

• rust-lang-nursery/wg-verification

  Verification working group

  10410

• FStarLang/karamel

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

  Language:OCaml39459

• hacspec/hacspec-python

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

  Language:Python468

• hacl-star/hacl-star

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

  Language:F*1.6k169

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k232

• yurydelendik/wasmtext

  WebAssembly text output using wasmparser in rust

  Language:Rust82

• bytecodealliance/wasmparser

  A simple event-driven library for parsing WebAssembly binary files

  17849

• bytecodealliance/cranelift

  Cranelift code generator

  2.5k202

• ProjetSigma/provisioning

  Provisioning for Projet Sigma server

  Language:Shell42

• BinetReseau/polytechnique-LaTeX

  Code for the LaTeX package of École polytechnique

  Language:TeX138

• BinetReseau/infobar

  Le guide des bars d'étages et de Chocapix

  Language:TeX1

• BinetReseau/chocapix-server

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

  Language:Python36