Alternatives and similar repositories for netsem

Users that are interested in netsem are comparing it to the libraries listed below

• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated 2 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆110Updated 2 weeks ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 4 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆202Updated 11 months ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 2 months ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆65Updated 3 years ago
• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• mirage / ocaml-dns
  OCaml implementation of the DNS protocol
  ☆106Updated last week
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆152Updated 2 months ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 9 years ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆56Updated 7 months ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆147Updated 3 years ago
• samuelgruetter / riscv-coq
  RISC-V Specification in Coq
  ☆12Updated 6 years ago
• mit-plv / bbv
  Bedrock Bit Vector Library
  ☆27Updated last year
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆43Updated 4 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆106Updated 3 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago