programming-journal / programming

Related projects ⓘ

Alternatives and complementary repositories for programming

• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated last year
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• coq / ceps
  Coq Enhancement Proposals
  ☆49Updated 2 weeks ago
• janestreet / re2
  OCaml bindings for RE2
  ☆43Updated this week
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆11Updated last year
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆4Updated last week
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 8 months ago
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆42Updated last week
• nuprl / gradual-typing-performance
  ☆10Updated 5 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 4 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆56Updated this week
• jmid / wasm-prop-tester
  A stack-driven generator of arbitrary WebAssembly programs
  ☆19Updated 3 years ago
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆18Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆12Updated 2 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆31Updated last month
• imdea-software / htt
  Hoare Type Theory
  ☆69Updated last month
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆32Updated this week
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆16Updated this week
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• ocaml / num
  The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
  ☆37Updated 4 months ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• mht208 / homebrew-formal
  Homebrew formulae for formal methods
  ☆36Updated last month
• vocal-project / vocal
  ☆50Updated 3 years ago
• Mtac2 / Mtac2
  ☆51Updated last month