acorrenson/SATurne acorrenson/SATurne

  • Stars
    star
    26
  • Rank 931,187 (Top 19 %)
  • Language Coq
  • License
    MIT License
  • Created over 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acorrenson/SATurne
github

acorrenson

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tiny verified SAT-solver

More Repositories

1

owl

A mini language for logic programming
OCaml
22
star
2

WiSE

A formally verified bug finder
Python
14
star
3

minilog

A verified Implementation of a mini prolog
Coq
13
star
4

cqfd

A why3 certified prover for propositional logic
OCaml
11
star
5

modulus

A constraint solver built from scratch in OCaml
OCaml
10
star
6

metamatix

A verified implementation of a metamath proof checker
Coq
9
star
7

automatik

A library of formalized automaton algorithms
Coq
9
star
8

Oratio

Translate natural deduction proofs into natural language.
OCaml
8
star
9

Maybe

A tiny probabilist functional language
OCaml
8
star
10

Algos

Some usefull algorithms implemented as a robust collection of modules for OCaml, C, Python and more
Rust
7
star
11

lili

Minimalist proof checker based on a simply typed lambda-calculus
OCaml
7
star
12

BF

A Coq Formalization of the Brainfuck programming language
Coq
6
star
13

ocallm

Training a (tiny) language model in OCaml, from scratch
OCaml
5
star
14

superChip8

an emulator for the chip-8 system written in C
C
4
star
15

ocaml_web_ui

An example of web application written in OCAML
OCaml
4
star
16

kind2coq

A experimental compiler from Kind (Core) to Coq
OCaml
3
star
17

strange_algebra

Resolve boolean system of equations using Gauss algorithm.
Python
3
star
18

Pym-s

Python with a sweet functionnal taste
OCaml
3
star
19

flow

An abstract interpreter
OCaml
3
star
20

superChip8-compiler

An experimental compiler for chip-8 asm.
OCaml
2
star
21

learnrust

I move from OCaml to Rust... No I'm just kidding !
2
star
22

mfc

My First Compiler
OCaml
2
star
23

neutron

A Coq-certified preprocessor for boolean logic formulae
Coq
2
star
24

deep_checker

Final project for the statistics class at ENS
C
2
star
25

Djinn

OCaml binding for the Tinn library
C
2
star
26

systemf

A minimalistic implementation of system F in rust
Rust
1
star
27

magix

Separation Logic is magic <3
OCaml
1
star
28

ISN-PROJETFINAL

Processing
1
star
29

Ministrel

A toy implementation of a synchronous programming language inspired by Esterel
OCaml
1
star
30

Defaultt

An attempt at formalizing default logic in Coq
Coq
1
star
31

PetitGuideDesNombresFlottants

Un mini-livre open-source pour mieux comprendre les nombres flottants
TeX
1
star
32

Puzzle

An OCaml DSL for problem solving based on symbolic AI techniques
OCaml
1
star
33

jflaTT

A type theory implemented during JFLA 2022
OCaml
1
star
34

friday_night_mood

Les L1 dlmis, arrêtez de nous donner du travail... après on dort plus ^^"
Coq
1
star
35

bayes

Trying to understand basic ML stuff
Python
1
star
36

article-bf

1
star
37

code.sflk

Vscode extension for sflk
JavaScript
1
star
38

myopencl

A tiny wrapper arround OpenCL C API
C
1
star
39

minilia

Minimalistic OCaml API to send LIA queries to Z3
OCaml
1
star
40

The_Incredible_Eight

A SAT approach to solve "The Incredible Eight" problem.
TeX
1
star