Pinned Repositories
agda-setup
A simple tutorial for setting up Agda with VSCode Dev Containers, including a minimal container containg Agda.
alice_rs
Alice_rs is a small proof-of-concept reference implementation of a decision procedure for A Decidable Fragment of Separation Logic.
chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
dibsy
A small analysis and editor CLI program for DIBs.
dqg
Working repository for a research project about Descriptive Quotient Graphs (cf. https://www.ijcai.org/Proceedings/15/Papers/212.pdf).
gb_checker
A simple program checking if someone from a given list has birthday.
isabroom
Isabelle formalization of the logic behind [Broom](https://pajda.fit.vutbr.cz/rogalew/broom).
isariris
An experimental port of the Iris separation logic framework to Isabelle/HOL. This work is developed as part of a Master's thesis.
kissat-rs
Rust bindings for the Kissat SAT solver.
SepLogFrag
Formalisation of the Decidable Fragment of Separation Logic. Submission for a homework contest. Supposed to work with Isabelle2020. Related to https://github.com/firefighterduck/alice_rs .
firefighterduck's Repositories
firefighterduck/kissat-rs
Rust bindings for the Kissat SAT solver.
firefighterduck/isariris
An experimental port of the Iris separation logic framework to Isabelle/HOL. This work is developed as part of a Master's thesis.
firefighterduck/agda-setup
A simple tutorial for setting up Agda with VSCode Dev Containers, including a minimal container containg Agda.
firefighterduck/alice_rs
Alice_rs is a small proof-of-concept reference implementation of a decision procedure for A Decidable Fragment of Separation Logic.
firefighterduck/dqg
Working repository for a research project about Descriptive Quotient Graphs (cf. https://www.ijcai.org/Proceedings/15/Papers/212.pdf).
firefighterduck/SepLogFrag
Formalisation of the Decidable Fragment of Separation Logic. Submission for a homework contest. Supposed to work with Isabelle2020. Related to https://github.com/firefighterduck/alice_rs .
firefighterduck/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
firefighterduck/dibsy
A small analysis and editor CLI program for DIBs.
firefighterduck/gb_checker
A simple program checking if someone from a given list has birthday.
firefighterduck/isabroom
Isabelle formalization of the logic behind [Broom](https://pajda.fit.vutbr.cz/rogalew/broom).
firefighterduck/minihl
Formal methods playgorund for MiniHeapLang language.
firefighterduck/nauty-Traces-sys
Rust bindings for nauty and Traces
firefighterduck/predator
A Shape Analyzer Based on Symbolic Memory Graphs
firefighterduck/random-quote
Picking random quotes
firefighterduck/rust
Empowering everyone to build reliable and efficient software.
firefighterduck/rust-forge
Information useful to people contributing to Rust
firefighterduck/sequent-solver
An automated sequent calculus solver for Isabelle.
firefighterduck/ssl
An Isabelle/HOL formalization of strong separation logic.
firefighterduck/this-week-in-rust
Data for this-week-in-rust.org