NotBad4U

query_params

Custom derive to automatically implement serialization to http query params for arbitrary structs.

coqlang_temporal_logic

Formalization of temporal logic in Coq

mcltl-rs

[beta] An experimental model checker for LTL written in Rust

Kaleidoscope-rs

Implementation of a simple programming frontend language using LLVM and Rust.

omphalOS

Simple UNIX operating system

container-from-scratch-demo

my-resume

My resume written with Latex

rust-workshop

Quick exercices to learn Rust

tla-experimentations

TLA+ experimentations

unikernel-demo

alethelf2lp

An experimental AletheLF translation to Lambdapi

carcara

Branch to work on lambdapi export

cps_parser

dod_cell_system

Benchmarks of a Data-Oriented Entity System approach

eudyptula

My answers to the eudyptula challenge

europroofnet.github.io

Sources of the EuroProofNet web site.

icspa2

presentation ICSPA

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

lambdapi-stdlib

Fork of repository of Lambdapi developments for trying to add Alethe Axioms

lewis-carroll-coqlang

Formalization of Lewis Carroll syllogism from Symbolic Logic and proof it with Coqlang.

my-settings

osl

An Operational Semantics for memory ownership

pddl-experiment

Experimentation on Planning Domain Definition Language

reconstruction

rust-talk

V2 of Tomorrow I stop coffee, I get to crab !

software-foundations-vol1

My solutions to the Software Foundations Book Volume 1 https://softwarefoundations.cis.upenn.edu/lf-current/index.html

TLA-experiment

Experimentation with TLA+

tla-lambdapi

Lambdapi