Copenhagen

Alessio Coltellacci

Expert
@NotBad4U

I'm waiting for Godot.

notbad4u.github.io/

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

9

mcltl-rs. [beta] An experimental model checker for LTL written in Rust

6

thesis. TeX

3

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

3

omphalOS. Simple UNIX operating system

2

Inclogic-coq. [WIP] Attempt to formalise the Incorrectness logic in Coq

1

unikernel-demo.

1

my-resume. My resume written with Latex

1

tla-experimentations. TLA+ experimentations

1

container-from-scratch-demo. C

1

ExtMet-QLL. Typst

1
11
Apply