Discover @acorrenson Open Source projects

Arthur Correnson (@acorrenson)

acorrenson

Stars
207
Global Rank 119,999 (Top 5 %)
Followers 153
Following 259
Registered almost 9 years ago
Most used languages

OCaml
46.2 %

Coq 20.5 %

C
10.3 %

Python
7.7 %

Rust
5.1 %

TeX
5.1 %

Processing 2.6 %

JavaScript
2.6 %
Location 🇩🇪 Germany
Country Total Rank 6,630
Country Ranking

Coq 3

OCaml
7

Processing 220

Rust
1,162

TeX
1,170

C
2,301

Python
5,119

SATurne

Tiny verified SAT-solver

owl

A mini language for logic programming

WiSE

A formally verified bug finder

minilog

A verified Implementation of a mini prolog

cqfd

A why3 certified prover for propositional logic

modulus

A constraint solver built from scratch in OCaml

metamatix

A verified implementation of a metamath proof checker

automatik

A library of formalized automaton algorithms

Oratio

Translate natural deduction proofs into natural language.

Maybe

A tiny probabilist functional language

Algos

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

lili

Minimalist proof checker based on a simply typed lambda-calculus

BF

A Coq Formalization of the Brainfuck programming language

ocallm

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

superChip8

an emulator for the chip-8 system written in C

ocaml_web_ui

An example of web application written in OCAML

kind2coq

A experimental compiler from Kind (Core) to Coq

strange_algebra

Resolve boolean system of equations using Gauss algorithm.

Pym-s

Python with a sweet functionnal taste

flow

An abstract interpreter

superChip8-compiler

An experimental compiler for chip-8 asm.

learnrust

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

mfc

My First Compiler

neutron

A Coq-certified preprocessor for boolean logic formulae

deep_checker

Final project for the statistics class at ENS

Djinn

OCaml binding for the Tinn library

systemf

A minimalistic implementation of system F in rust

magix

Separation Logic is magic <3

ISN-PROJETFINAL

Ministrel

A toy implementation of a synchronous programming language inspired by Esterel

Defaultt

An attempt at formalizing default logic in Coq

PetitGuideDesNombresFlottants

Un mini-livre open-source pour mieux comprendre les nombres flottants

Puzzle

An OCaml DSL for problem solving based on symbolic AI techniques

jflaTT

A type theory implemented during JFLA 2022

friday_night_mood

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

bayes

Trying to understand basic ML stuff

article-bf

code.sflk

Vscode extension for sflk

myopencl

A tiny wrapper arround OpenCL C API

minilia

Minimalistic OCaml API to send LIA queries to Z3

The_Incredible_Eight

A SAT approach to solve "The Incredible Eight" problem.