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
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 3 weeks ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆6Updated this week
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated last week
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 4 months ago
• xnning / Dissertation
  My PhD Thesis
  ☆13Updated 3 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• Mtac2 / Mtac2
  ☆55Updated last month
• tchajed / iris-simp-lang
  We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …
  ☆51Updated 2 months ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 5 months ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆19Updated 3 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated last week
• vocal-project / vocal
  ☆49Updated 4 years ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated 3 months ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 6 months ago
• ocurrent / ocaml-dockerfile
  OCaml interface for creating Dockerfiles
  ☆66Updated 3 weeks ago
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆19Updated 2 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• bellissimogiorno / nominal
  Haskell implementation of nominal datatypes and functions
  ☆43Updated 4 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 5 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 5 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 2 months ago