touist / touist

Related projects ⓘ

Alternatives and complementary repositories for touist

• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆97Updated 10 months ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆30Updated 4 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆44Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• coq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆45Updated 2 years ago
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• vocal-project / vocal
  ☆50Updated 3 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆69Updated last month
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆60Updated 4 months ago
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated last year
• mpelleau / AbSolute
  Constraint solver based on abstract domains
  ☆30Updated last month
• uds-psl / coq-library-complexity
  ☆28Updated last year
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated last month
• affeldt-aist / monae
  Monadic effects and equational reasonig in Coq
  ☆68Updated 3 weeks ago
• coq / ceps
  Coq Enhancement Proposals
  ☆49Updated 2 weeks ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆99Updated last year
• INRIA / velus
  A Lustre compiler in Coq
  ☆59Updated this week
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆37Updated last year
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆39Updated 4 months ago
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆42Updated last week
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆49Updated 4 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 2 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 10 months ago
• coq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆41Updated 4 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago