Skip to content
View firefighterduck's full-sized avatar
4 followers · 1 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report firefighterduck

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. isariris isariris Public

    An experimental port of the Iris separation logic framework to Isabelle/HOL. This work is developed as part of a Master's thesis.

    Isabelle 4

  2. SepLogFrag SepLogFrag Public

    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 .

    Isabelle 1

  3. alice_rs alice_rs Public

    Alice_rs is a small proof-of-concept reference implementation of a decision procedure for A Decidable Fragment of Separation Logic.

    Rust 1

  4. chalk chalk Public

    Forked from rust-lang/chalk

    An implementation and definition of the Rust trait system using a PROLOG-like logic solver

    Rust

  5. kissat-rs kissat-rs Public

    Rust bindings for the Kissat SAT solver.

    Rust 6

  6. dqg dqg Public

    Working repository for a research project about Descriptive Quotient Graphs (cf. https://www.ijcai.org/Proceedings/15/Papers/212.pdf).

    Rust 1