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 last year
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated last year
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 10 months ago
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆16Updated this week
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆42Updated 2 weeks ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆13Updated 2 years ago
• coq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆22Updated 5 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 2 months ago
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆4Updated this week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆32Updated this week
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆20Updated this week
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• coq / rfcs
  Coq Enhancement Proposals
  ☆52Updated this week
• mht208 / homebrew-formal
  Homebrew formulae for formal methods
  ☆37Updated 3 months ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆102Updated 2 years ago
• Mtac2 / Mtac2
  ☆51Updated last month
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated 2 years ago
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated 2 weeks ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• coq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆41Updated 5 months ago
• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆23Updated 5 years ago
• vocal-project / vocal
  ☆49Updated 3 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated last year
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago