acorrenson/minilia acorrenson/minilia

  • Stars
    star
    1
  • Language
    OCaml
  • License
    MIT License
  • Created 6 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acorrenson/minilia
github

acorrenson

Reviews

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

Repository Details

Minimalistic OCaml API to send LIA queries to Z3

More Repositories

1

SATurne

Tiny verified SAT-solver
Coq
26
star
2

owl

A mini language for logic programming
OCaml
22
star
3

WiSE

A formally verified bug finder
Python
14
star
4

minilog

A verified Implementation of a mini prolog
Coq
13
star
5

cqfd

A why3 certified prover for propositional logic
OCaml
11
star
6

modulus

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

metamatix

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

automatik

A library of formalized automaton algorithms
Coq
9
star
9

Oratio

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

Maybe

A tiny probabilist functional language
OCaml
8
star
11

Algos

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

lili

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

BF

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

ocallm

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

superChip8

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

ocaml_web_ui

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

kind2coq

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

strange_algebra

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

Pym-s

Python with a sweet functionnal taste
OCaml
3
star
20

flow

An abstract interpreter
OCaml
3
star
21

superChip8-compiler

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

learnrust

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

mfc

My First Compiler
OCaml
2
star
24

neutron

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

deep_checker

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

Djinn

OCaml binding for the Tinn library
C
2
star
27

systemf

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

magix

Separation Logic is magic <3
OCaml
1
star
29

ISN-PROJETFINAL

Processing
1
star
30

Ministrel

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

Defaultt

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

PetitGuideDesNombresFlottants

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

Puzzle

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

jflaTT

A type theory implemented during JFLA 2022
OCaml
1
star
35

friday_night_mood

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

bayes

Trying to understand basic ML stuff
Python
1
star
37

article-bf

1
star
38

code.sflk

Vscode extension for sflk
JavaScript
1
star
39

myopencl

A tiny wrapper arround OpenCL C API
C
1
star
40

The_Incredible_Eight

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