touist / touistLinks
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
☆65Updated last week
Alternatives and similar repositories for touist
Users that are interested in touist are comparing it to the libraries listed below
Sorting:
- An encyclopedia of proofs☆62Updated 8 months ago
- LVC verified compiler☆57Updated 6 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆42Updated 4 years ago
- A purely functional dynamically typed programming language.☆56Updated 4 years ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Hanoi tower in Coq☆26Updated last week
- ☆49Updated 4 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated 2 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- An OCaml library providing a C parser and lexer☆42Updated 8 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A modular sat/smt solver with proof output.☆99Updated last year
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- Testing and benchmarking tool for logic-related programs.☆26Updated 3 months ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆57Updated 3 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- OCaml library for manipulating context-free grammars☆20Updated 6 months ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Multiparty Session Types in OCaml☆60Updated 8 months ago
- A benchmark suite for the OCaml compiler☆83Updated 10 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Formalising session types in Coq☆17Updated 5 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago