anjlab / sat3Links
Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem
☆90Updated 10 years ago
Alternatives and similar repositories for sat3
Users that are interested in sat3 are comparing it to the libraries listed below
Sorting:
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Conference on Homotopy Type Theory 2019☆16Updated 6 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- A formalization of M-types in Agda☆36Updated 5 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 10 years ago
- being the beginnings of at least zero typecheckers☆34Updated 8 years ago
- A series of implementations of a simple functional programming language.☆30Updated 10 years ago
- Luck -- A Language for Property-Based Generators☆36Updated 11 months ago
- surgical precision JIT compilers☆123Updated 8 years ago
- ☆29Updated 10 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago
- LVC verified compiler☆60Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 9 years ago
- Beautiful, interactive visualizations of logical inference☆151Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- History of Programming Languages, Spring 2017☆137Updated 8 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Formal topology (and some probability) in Coq☆31Updated 7 years ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆25Updated 2 years ago
- Constructive Galois connections☆36Updated 7 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 10 years ago
- The Mechanization of Standard ML☆75Updated 3 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Updated 2 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 9 years ago
- being a slightly rethought version of the Frank implementation☆23Updated 10 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Updated 4 years ago
- Automatically exported from code.google.com/p/trellys☆47Updated 6 years ago