There are no reviews yet. Be the first to send feedback to the community and the maintainers!
owl
A mini language for logic programmingSATurne
Tiny verified SAT-solverminilog
A verified Implementation of a mini prologWiSE
A formally verified bug findercqfd
A why3 certified prover for propositional logicmodulus
A constraint solver built from scratch in OCamlmetamatix
A verified implementation of a metamath proof checkerautomatik
A library of formalized automaton algorithmsOratio
Translate natural deduction proofs into natural language.Algos
Some usefull algorithms implemented as a robust collection of modules for OCaml, C, Python and morelili
Minimalist proof checker based on a simply typed lambda-calculusBF
A Coq Formalization of the Brainfuck programming languageMaybe
A tiny probabilist functional languagesuperChip8
an emulator for the chip-8 system written in Cocaml_web_ui
An example of web application written in OCAMLkind2coq
A experimental compiler from Kind (Core) to Coqstrange_algebra
Resolve boolean system of equations using Gauss algorithm.Pym-s
Python with a sweet functionnal tasteflow
An abstract interpreterMinistrel
A toy implementation of a synchronous programming language inspired by EsterelsuperChip8-compiler
An experimental compiler for chip-8 asm.learnrust
I move from OCaml to Rust... No I'm just kidding !mfc
My First Compilerneutron
A Coq-certified preprocessor for boolean logic formulaedeep_checker
Final project for the statistics class at ENSDjinn
OCaml binding for the Tinn librarysystemf
A minimalistic implementation of system F in rustmagix
Separation Logic is magic <3ISN-PROJETFINAL
Defaultt
An attempt at formalizing default logic in CoqPetitGuideDesNombresFlottants
Un mini-livre open-source pour mieux comprendre les nombres flottantsPuzzle
An OCaml DSL for problem solving based on symbolic AI techniquesjflaTT
A type theory implemented during JFLA 2022friday_night_mood
Les L1 dlmis, arrêtez de nous donner du travail... après on dort plus ^^"bayes
Trying to understand basic ML stuffarticle-bf
code.sflk
Vscode extension for sflkmyopencl
A tiny wrapper arround OpenCL C APIminilia
Minimalistic OCaml API to send LIA queries to Z3The_Incredible_Eight
A SAT approach to solve "The Incredible Eight" problem.Love Open Source and this site? Check out how you can help us