Skip to content
View zaklogician's full-sized avatar
19 followers · 2 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report zaklogician

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

  • equational_theories Public

    Forked from teorth/equational_theories

    A project to map out the relations between different equational theories of Magmas.

    C Apache License 2.0 Updated Oct 15, 2024

  • finite_magma_explorer Public

    A tool built for equational_theories that displays finite magmas.

    Elm Updated Oct 9, 2024

  • zaklogician.github.io Public

    Personal website

    JavaScript Updated Oct 8, 2024

  • agda-funspaces Public

    Results regarding the possible "sizes" of function spaces in Martin-Löf type theory without extensionality axioms.

    Agda BSD 3-Clause "New" or "Revised" License Updated Jul 13, 2024

  • proof-theoretic-methods Public

    Companion repository for the article "Proof-theoretic methods in quantifier-free definability", w/ Agda proofs

    Agda Updated Oct 9, 2023

  • libmantle Public

    Safe Austral APIs for your seL4 Core Platform projects.

    Python 3 1 BSD 3-Clause "New" or "Revised" License Updated Sep 12, 2023

  • ubc Public

    Forked from math2001/ubc
    Python Updated Mar 31, 2023

  • sel4cp Public

    Forked from seL4/microkit

    seL4 Core Platform - A simple operating system for the seL4 microkernel

    Python BSD 2-Clause "Simplified" License Updated Apr 11, 2022

  • debug4 Public

    An example for debugging sel4cp RTC issues on the zcu102 board.

    C Updated Mar 2, 2022

  • debug3 Public

    An example for debugging sel4cp

    Makefile Updated Mar 2, 2022

  • l4v Public

    Forked from seL4/l4v

    seL4 specification and proofs

    Isabelle Other Updated Aug 6, 2021

  • modernizair-interop Public

    A grammar and Lark-generated parser for a Modernizair interop language

    Python Updated Jul 1, 2021

  • act2021-code Public

    An algorithm for our ACT 2021 submission "Treewidth via Spined Categories" (Z. A. Kocsis, B. M. Bumpus)

    Haskell Updated May 9, 2021

  • seL4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C Other Updated Mar 3, 2021

  • typical-antiphrasis Public

    Paradoxes of type theory, described didactically. With accompanying proofs in Agda.

    Agda 38 1 BSD 3-Clause "New" or "Revised" License Updated Oct 5, 2020

  • HOL Public

    Forked from HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

    Standard ML Other Updated Jul 28, 2020

  • HOL4LUI Public

    Contains HOL4 backup code, do not use.

    Updated Jul 15, 2020

  • indent-primitives Public

    Scala primitives for autoindentors based on Wadler/Leijen

    Scala 1 Other Updated Feb 18, 2020

  • valdef Public

    An example illustrating the differences between val, lazy val and def in Scala.

    Scala BSD 3-Clause "New" or "Revised" License Updated Nov 22, 2019

  • induct-agda-isabelle Public

    A simple example of structural induction in Agda vs. in Isabelle

    Agda MIT License Updated Nov 13, 2019

  • agda-ist-algebra Public

    Agda proofs accompanying my PhD thesis, "Development of Algebra in Internal Set Theory"

    Agda 5 Other Updated Nov 12, 2019

  • linear-constructive Public

    Linear Logic for Constructive Mathematics, in Agda

    Agda 17 1 BSD 3-Clause "New" or "Revised" License Updated Jul 7, 2019

  • kakoune Public

    Forked from mawww/kakoune

    mawww's experiment for a better code editor

    C The Unlicense Updated Jun 19, 2019

  • mtuk-public Public

    Public clone of the repository for the BPGMTC 2019 website.

    JavaScript 1 BSD 3-Clause "New" or "Revised" License Updated Jan 3, 2019

  • advent2018 Public

    Solutions to Advent of Code 2018, in Scala

    Scala 1 BSD 3-Clause "New" or "Revised" License Updated Dec 17, 2018

  • monads-are-not Public

    Monads are not just monoids in the category of endofunctors.

    Agda 5 MIT License Updated Jan 23, 2018

  • parameter-overlaps Public

    Parameterized free monoid overlap

    Scala BSD 3-Clause "New" or "Revised" License Updated Nov 27, 2017

  • ContainAnt-storm Public

    Apache Storm integration for ContainAnt (temp. repo)

    Scala BSD 3-Clause "New" or "Revised" License Updated Nov 25, 2017

  • ContainAnt Public

    Scala BSD 3-Clause "New" or "Revised" License Updated Nov 25, 2017

  • apache-storm-scala-seed Public

    Apache Storm seed project for Scala

    Scala BSD 3-Clause "New" or "Revised" License Updated Nov 23, 2017