https://github.com/notbad4u/query_params

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

custom-derive derive http-client macros query-params rust

Last synced: 14 Apr 2025

https://github.com/notbad4u/coqlang_temporal_logic

Formalization of temporal logic in Coq

coq coq-formalization formal-proofs temporal-logic

Last synced: 14 Apr 2025

https://github.com/notbad4u/mcltl-rs

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

buchi-automaton kripke-structure ltl ltl-formulas model-checker model-checking temporal-logic

Last synced: 12 Apr 2025

https://github.com/notbad4u/kaleidoscope-rs

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

Last synced: 10 Dec 2024

https://github.com/notbad4u/omphalos

Simple UNIX operating system

Last synced: 30 Mar 2025

https://github.com/notbad4u/eden

MAS side project

agent data-oriented-design dod mas rust zeromq

Last synced: 30 Mar 2025

https://github.com/notbad4u/unikernel-demo

Last synced: 10 Dec 2024

https://github.com/notbad4u/my-resume

My resume written with Latex

Last synced: 30 Mar 2025

https://github.com/notbad4u/container-from-scratch-demo

Last synced: 30 Mar 2025

https://github.com/notbad4u/tla-experimentations

TLA+ experimentations

Last synced: 30 Mar 2025

https://github.com/notbad4u/tla-lambdapi

Lambdapi

Last synced: 30 Mar 2025

https://github.com/notbad4u/icspa2

presentation ICSPA

Last synced: 30 Mar 2025

https://github.com/notbad4u/osl

An Operational Semantics for memory ownership

Last synced: 30 Mar 2025

https://github.com/notbad4u/inclogic-coq

[WIP] Attempt to formalise the Incorrectness logic in Coq

Last synced: 30 Mar 2025

https://github.com/notbad4u/eudyptula

My answers to the eudyptula challenge

c eudyptula eudyptula-challenge kernel-driver linux

Last synced: 10 Dec 2024

https://github.com/notbad4u/aclia

Experimental reconstruction of la_generic rule of Alethe with AC modifier and without

Last synced: 12 Apr 2025

https://github.com/notbad4u/la_generic_reconstruction

Last synced: 12 Apr 2025

https://github.com/notbad4u/software-foundations-vol1

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

coq coqlang

Last synced: 30 Mar 2025

https://github.com/notbad4u/benchmarks-reconstruction

Benchmarks for Alethe proof reconstruction

Last synced: 04 Apr 2025

https://github.com/notbad4u/pddl-experiment

Experimentation on Planning Domain Definition Language

Last synced: 30 Mar 2025

https://github.com/notbad4u/cps_parser

Last synced: 30 Mar 2025

https://github.com/notbad4u/tla-experiment

Experimentation with TLA+

Last synced: 30 Mar 2025

https://github.com/notbad4u/lewis-carroll-coqlang

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

coq coq-formalization coqlang lewis-caroll

Last synced: 30 Mar 2025

https://github.com/notbad4u/dod_cell_system

Benchmarks of a Data-Oriented Entity System approach

data-oriented-design dod ecs

Last synced: 30 Mar 2025

https://github.com/notbad4u/my-settings

Last synced: 30 Mar 2025