Alternatives and similar repositories for programming

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

• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated 2 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 6 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated 4 months ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• rems-project / lem
  Lem semantic definition language
  ☆150Updated 10 months ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 3 weeks ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• Mtac2 / Mtac2
  ☆56Updated this week
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Updated last year
• PrincetonUniversity / DeepSpecDB
  ☆28Updated 2 months ago
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆13Updated this week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆42Updated 3 months ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 7 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆35Updated 3 weeks ago
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆17Updated 3 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆49Updated 5 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆61Updated 8 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆174Updated this week
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆29Updated 7 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆54Updated 10 months ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆150Updated 4 months ago
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆51Updated last week
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆59Updated last month
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆175Updated 4 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago