Alternatives and similar repositories for NPRG014:

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

• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆21Updated 2 months ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆31Updated 2 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆67Updated 6 months ago
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆93Updated 10 months ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆28Updated 4 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated last month
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated last month
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated 2 weeks ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆22Updated 10 months ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆35Updated last month
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆56Updated 7 months ago
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆12Updated 10 months ago
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆29Updated 5 years ago
• vituscze / norri
  ☆9Updated last year
• nomeata / lean-calcify
  ☆25Updated last week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆73Updated 8 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆32Updated this week
• glacode / yamma
  VSCode extension for Metamath
  ☆9Updated this week
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆32Updated this week
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated 7 months ago
• coq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆19Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆23Updated 3 weeks ago
• gelisam / commutative
  Using Haskell's type system to guarantee commutativity.
  ☆18Updated 11 years ago
• benediktahrens / CT4P
  ☆33Updated 2 months ago