acorrenson/article-bf

Stars
1
Language
License
MIT License
Created almost 5 years ago
Updated almost 5 years ago

acorrenson/article-bf

acorrenson

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

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

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.