AllanBlanchard

AllanBlanchard's Stars

• tikzit/tikzit

  pgf/TikZ diagram editor

  Language:C++1.1k70

• ANSSI-FR/x509-parser

  a RTE-free X.509 parser

  Language:C5813

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k50

• acsl-language/acsl

  Sources for the ANSI/ISO C Specification Language manual

  Language:PostScript508

• NazaraEngine/Nazarust

  An experiment to rewrite NazaraEngine using Rust

  Language:Rust175

• hackwaly/ocamlearlybird

  OCaml debug adapter

  Language:OCaml20824

• Frama-C/Frama-C-snapshot

  Release snapshots of the Frama-C platform for source code analysis

  Language:OCaml16638

• NotANameServer/club-lecture

  Club de lecture du discord NaN https://discordapp.com/invite/zcWp9sC

  4