acorrenson/lili acorrenson/lili

  • Stars
    star
    7
  • Rank 2,232,953 (Top 46 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acorrenson/lili
github

acorrenson

Reviews

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

Repository Details

Minimalist proof checker based on a simply typed lambda-calculus

More Repositories

1

owl

A mini language for logic programming
OCaml
22
star
2

SATurne

Tiny verified SAT-solver
Coq
18
star
3

minilog

A verified Implementation of a mini prolog
Coq
13
star
4

WiSE

A formally verified bug finder
Python
12
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

Algos

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

BF

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

Maybe

A tiny probabilist functional language
OCaml
5
star
13

superChip8

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

ocaml_web_ui

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

strange_algebra

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

Pym-s

Python with a sweet functionnal taste
OCaml
3
star
17

flow

An abstract interpreter
OCaml
3
star
18

Ministrel

A toy implementation of a synchronous programming language inspired by Esterel
OCaml
2
star
19

superChip8-compiler

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

learnrust

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

kind2coq

A experimental compiler from Kind (Core) to Coq
OCaml
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

Defaultt

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

PetitGuideDesNombresFlottants

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

Puzzle

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

jflaTT

A type theory implemented during JFLA 2022
OCaml
1
star
33

friday_night_mood

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

article-bf

1
star
35

bayes

Trying to understand basic ML stuff
Python
1
star
36

code.sflk

Vscode extension for sflk
JavaScript
1
star
37

minilia

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

The_Incredible_Eight

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