I'm waiting for Godot.
Repositories
NotBad4U/monitor
Monitor for FLTL4
NotBad4U/Inclogic-rocq
Formalisation of the Incorrectness logic in Rocq
NotBad4U/lambdapi-stdlib
Fork of repository of Lambdapi developments for trying to add Alethe Axioms
NotBad4U/carcara
Branch to work on lambdapi export
NotBad4U/term-rewriting-lean
A Lean 4 port with Claude (Opus 5) of the Haskell term-rewriting library
NotBad4U/HQLL
WIP
NotBad4U/mcltl-rs
[beta] An experimental model checker for LTL written in Rust
NotBad4U/NotBad4U.github.io
NotBad4U/thesis
NotBad4U/ABY
ABY with compilation fixed for MacOS 15.7.4, M3 machine
NotBad4U/benchmarks-reconstruction
NotBad4U/europroofnet.github.io
Sources of the EuroProofNet web site.
NotBad4U/aclia
Experimental reconstruction of la_generic rule of Alethe with AC modifier and without
NotBad4U/la_generic_reconstruction
NotBad4U/tla2b
A Categorical Bridge Between TLA+ and B via the Classifying Categories of Their Geometric Theories
NotBad4U/unikernel-demo
NotBad4U/Kaleidoscope-rs
Implementation of a simple programming frontend language using LLVM and Rust.
NotBad4U/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
NotBad4U/alethelf2lp
An experimental AletheLF translation to Lambdapi
NotBad4U/icspa2
presentation ICSPA
NotBad4U/query_params
Custom derive to automatically implement serialization to http query params for arbitrary structs.
NotBad4U/cps_parser
NotBad4U/tla-lambdapi
Lambdapi
NotBad4U/eudyptula
My answers to the eudyptula challenge
NotBad4U/TLA-experiment
Experimentation with TLA+
NotBad4U/osl
An Operational Semantics for memory ownership
NotBad4U/container-from-scratch-demo
NotBad4U/software-foundations-vol1
My solutions to the Software Foundations Book Volume 1 https://softwarefoundations.cis.upenn.edu/lf-current/index.html
NotBad4U/tla-experimentations
TLA+ experimentations