acorrenson Goto Github PK

3valued

3 valued logic in Coq

acorrenson.github.io

Personnal Website

algos

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

ant-language

A compiler and virtual machine for a simple educative language and associated assembly language. Ant language aims at teaching basic compilation skills. Based on ocamllex and ocamlyacc.

arcoexbot

A simple Discord bot aimed at arbitrary code execution.

article-bf

as8

Reliable assembler and tool-chain for CHIP8 assembly language.

automatik

A library of formalized automaton algorithms

bayes

Trying to understand basic ML stuff

bf

A Coq Formalization of the Brainfuck programming language

bibliotek

A simple cli app to manage large amount of pdf documents

binarysearchtree-ocaml

BinarySearchTree (BST) implementation in ocaml

buff

A parsing library for Rust

c-niosii

A C compiler targeting Nios II architecture

catala

Programming language for literate programming law specification

cdf-sem-meca

Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020

cell

Cell Elementary Learning Language

certified-smt-bilblio

This repository gather references to research works in the field of certified SMT solving and theorem proving

cfloat

Messing arround with floats in C

chipper_syntax_sublime_text

Sublime text syntax recognization for the Chipper CHIP8 Assembler Language

code.sflk

Vscode extension for sflk

color

Coq library on rewriting theory and termination

commitmessageanalyzer

A website that analyze GitHub/GitLab commit messages for a project

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-chick-blog

🐣 A blog engine written and proven in Coq

coq-smt-notations

A quick hack to ask any SMT solver if your Coq goal is true

coq-tricks

Collection of Useful Features of the Coq Proof Assistant

coq2html

An HTML documentation generator for Coq source files

coqffi

Coq to OCaml FFI made easy [maintainer=@lthms]

coqinit

A script to initialise a new Coq project.