acorrenson Goto Github PK

jscoq

A port of Coq to Javascript -- Run Coq in your Browser

kind2coq

A experimental compiler from Kind (Core) to Coq

l2_info_ups

Collection de cours, d'exercices et d'exemples pour les étudians de L2 informatique à l'unniversité Paul Sabatier

langjam

lili

Minimalist proof checker based on a simply typed lambda-calculus

lingdong-

Automatically keep my Github profile README updated with a python script and Github Actions

lisp_interpreter

An experimental and educationnal lisp-interpreter

logik

A simple way to interact with propositional logic

m99

M99 assembly VM

machine

master_thesis_data

matematix

A simple metamath implementation in OCaml

math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

mathlib

Lean mathematical components library

maybe

A tiny probabilist functional language

maze

mcmu

A tiny symbolic model checker for CTL and μ-calculus

metamatix

A verified implementation of a metamath proof checker

mfc

My First Compiler

microsolver

extracting micro mega

miniblock

A mini blockchain in python

minibot

My first discord bot.

minibug

Concise and documented COq formalization of a symbolic bug finder for IMP

minidna

An introduction to bioinformatics

minigc

A tinny GC written in plain C

minigraph

A minimalist implementation of various graph algorithms in OCaml

minilog

A verified Implementation of a mini prolog

minineuron

My first machine learning algorithm.

minirust

A precise specification for "Rust lite / MIR plus"

ministrel

A toy implementation of a synchronous programming language inspired by Esterel