Alternatives and similar repositories for programming

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

• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated 2 years ago
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆6Updated 3 weeks ago
• xnning / Dissertation
  My PhD Thesis
  ☆13Updated 3 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• janestreet / re2
  OCaml bindings for RE2
  ☆47Updated 3 weeks ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• rocq-prover / rfcs
  Rocq RFCs: documents to discuss changes to the Rocq Prover
  ☆57Updated 4 months ago
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆17Updated 2 years ago
• ocaml / opam-file-format
  Parser and printer for the opam file syntax
  ☆16Updated 6 months ago
• Huxpro / WasmCert
  A (in-development) Coq mechanization of WebAssembly specification.
  ☆21Updated 3 years ago
• moajohansson / IsaHipster
  Theory Exploration for Isabelle using HipSpec
  ☆20Updated last year
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 6 months ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 8 months ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 4 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆26Updated 11 months ago
• Mtac2 / Mtac2
  ☆55Updated 2 months ago
• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆24Updated 6 years ago
• uwplse / magic
  Demystifying the magic of supertactics
  ☆13Updated 3 years ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆43Updated last month
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆36Updated 5 months ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago