acorrenson/Oratio acorrenson/Oratio

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acorrenson/Oratio
github

acorrenson

Reviews

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

Repository Details

Translate natural deduction proofs into natural language.

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

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