NotBad4U

I'm waiting for Godot. PhD student

Inria Nancy

Pinned Repositories

container-from-scratch-demo
Language:C1 2 00
coqlang_temporal_logic
Formalization of temporal logic in Coq
Language:Coq6 3 141
Kaleidoscope-rs
Implementation of a simple programming frontend language using LLVM and Rust.
Language:Rust3 1 00
mcltl-rs
[beta] An experimental model checker for LTL written in Rust
Language:Rust5 2 02
my-resume
My resume written with Latex
Language:TeX1 2 00
omphalOS
Simple UNIX operating system
Language:C2 2 00
query_params
Custom derive to automatically implement serialization to http query params for arbitrary structs.
Language:Rust9 2 21
rust-workshop
Quick exercices to learn Rust
Language:Rust1 1 03
tla-experimentations
TLA+ experimentations
Language:TLA1 2 00
unikernel-demo
1 3 70

NotBad4U's Repositories

NotBad4U/query_params
Custom derive to automatically implement serialization to http query params for arbitrary structs.
Language:Rust9 2 21
NotBad4U/coqlang_temporal_logic
Formalization of temporal logic in Coq
Language:Coq6 3 141
NotBad4U/mcltl-rs
[beta] An experimental model checker for LTL written in Rust
Language:Rust5 2 02
NotBad4U/Kaleidoscope-rs
Implementation of a simple programming frontend language using LLVM and Rust.
Language:Rust3 1 00
NotBad4U/omphalOS
Simple UNIX operating system
Language:C2 2 00
NotBad4U/container-from-scratch-demo
Language:C1 2 00
NotBad4U/my-resume
My resume written with Latex
Language:TeX1 2 00
NotBad4U/rust-workshop
Quick exercices to learn Rust
Language:Rust1 1 03
NotBad4U/tla-experimentations
TLA+ experimentations
Language:TLA1 2 00
NotBad4U/unikernel-demo
1 3 70
NotBad4U/alethelf2lp
An experimental AletheLF translation to Lambdapi
Language:Makefile
NotBad4U/carcara
Branch to work on lambdapi export
Language:Rust0 0
NotBad4U/cps_parser
Language:OCaml2 0
NotBad4U/dod_cell_system
Benchmarks of a Data-Oriented Entity System approach
Language:JavaScript2 0
NotBad4U/eudyptula
My answers to the eudyptula challenge
Language:C2 0
NotBad4U/europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby0 0
NotBad4U/icspa2
presentation ICSPA
Language:TeX1 0
NotBad4U/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language:OCaml0 0
NotBad4U/lambdapi-stdlib
Fork of repository of Lambdapi developments for trying to add Alethe Axioms
Language:Makefile0 0
NotBad4U/lewis-carroll-coqlang
Formalization of Lewis Carroll syllogism from Symbolic Logic and proof it with Coqlang.
Language:Coq2 0
NotBad4U/my-settings
Language:Emacs Lisp2 0
NotBad4U/osl
An Operational Semantics for memory ownership
Language:OCaml2 24
NotBad4U/pddl-experiment
Experimentation on Planning Domain Definition Language
2 0
NotBad4U/reconstruction
Language:OCaml1 01
NotBad4U/rust-talk
V2 of Tomorrow I stop coffee, I get to crab !
Language:CSS2 0
NotBad4U/software-foundations-vol1
My solutions to the Software Foundations Book Volume 1 https://softwarefoundations.cis.upenn.edu/lf-current/index.html
Language:Coq2 0
NotBad4U/TLA-experiment
Experimentation with TLA+
Language:TLA2 0
NotBad4U/tla-lambdapi
Lambdapi
Language:SMT1 0