|
Agda |
21 |
A self-contained repository for the paper Type and Scope Preserving Semantics |
Mar 07, 2023 |
|
Agda |
6 |
A self-contained repo for the ILLWiL paper |
Sep 08, 2020 |
|
R |
6 |
A repository of self-contained quarto examples |
Sep 26, 2022 |
|
XSLT |
230 |
Self-Contained Systems |
Apr 11, 2023 |
|
C |
2 |
Self-contained Utilities for C |
Sep 06, 2023 |
|
Python |
5 |
A self-contained repository for my various Anki decks for Mathematics |
Mar 28, 2023 |
|
Jupyter Notebook |
6 |
A self-contained AAS paper template to enable easily reproducible workflows |
Jan 27, 2023 |
|
C++ |
16 |
Self-contained C++ interface for the MeshCat visualizer |
Apr 25, 2023 |
|
C |
6 |
Self-contained Bignum implementation for mruby |
Feb 06, 2022 |
|
None |
65 |
self-contained SDL2 package for Zig |
Feb 25, 2023 |
|
Julia |
7 |
Self contained virtual environments for Julia. |
Sep 20, 2022 |
|
Python |
77 |
Self-contained Python wheels for Windows |
May 07, 2023 |
|
Puppet |
2 |
self-contained omero configuration for puppet |
May 05, 2014 |
|
None |
2 |
Self-contained examples for rsocket-js. |
May 09, 2022 |
|
None |
2 |
Hub for self-contained linux executables |
Aug 31, 2023 |
|
Agda |
4 |
A statically typed dimensional analysis calculator written in Agda. |
Apr 12, 2020 |
|
Agda |
4 |
Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of … |
Aug 03, 2022 |
|
Agda |
4 |
None |
Aug 02, 2019 |
|
Agda |
4 |
Agda proofs of the HoTT book exercises |
Dec 27, 2018 |
|
Agda |
4 |
None |
Oct 15, 2020 |
|
Agda |
4 |
A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation |
Apr 01, 2021 |
|
Agda |
4 |
None |
Jan 15, 2022 |
|
Agda |
4 |
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper |
Dec 19, 2021 |
|
Agda |
5 |
An Agda proof of the fact that the smash product is a 1-coherent monoidal product … |
Oct 09, 2018 |
|
Agda |
5 |
Sheaves in Agda (will be superseded by https://github.com/jonsterling/constructive-sheaf-semantics which has sheaves on a site) |
May 08, 2015 |
|
Agda |
5 |
Agda library for verifying neural networks. |
Jul 09, 2022 |
|
Agda |
5 |
Agda bindings for low-level datatypes such as raw naturals and bytestrings |
Oct 24, 2019 |
|
Agda |
5 |
None |
Dec 03, 2021 |
|
Agda |
5 |
Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library. |
Aug 11, 2014 |
|
Agda |
6 |
Formalization of the James construction in Agda |
Nov 16, 2018 |
|
Agda |
6 |
None |
Jun 10, 2019 |
|
Agda |
6 |
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions |
May 22, 2021 |
denotational-arithmetic-zurihac
|
Agda |
6 |
None |
Aug 01, 2022 |
|
Agda |
6 |
An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in … |
May 05, 2022 |
|
Agda |
6 |
Categories parametrized by morphism equality, in Agda |
Mar 20, 2019 |
|
Agda |
7 |
An Agda library for turning equations into bijections using the translation method |
Nov 10, 2020 |
|
Agda |
7 |
Abstract binding trees in Agda |
Jan 17, 2022 |
|
Agda |
7 |
some "modernized" brouwerian mathematics, inspired by Hancock, Ghani & Pattinson |
Sep 02, 2021 |
|
Agda |
7 |
Implementation of McBride's "First-order unification by structural recursion" in Agda. |
Jul 06, 2020 |
|
Agda |
8 |
Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany |
Apr 18, 2020 |
|
Agda |
8 |
Agda sources used in my paper with Valeria de Paiva |
Apr 27, 2022 |
|
Agda |
8 |
None |
Apr 13, 2022 |
|
Agda |
8 |
Examples of categorical structures |
Mar 19, 2021 |
|
Agda |
9 |
some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills |
Feb 10, 2019 |
|
Agda |
9 |
None |
Aug 11, 2022 |
|
Agda |
9 |
Library for proving propositions quantified over finite sets |
Jan 05, 2022 |
|
Agda |
10 |
Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT. |
May 19, 2022 |
|
Agda |
10 |
agda blogging based on 1lab |
Jul 12, 2022 |
|
Agda |
10 |
Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. … |
Jul 03, 2022 |
|
Agda |
11 |
Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus) |
Dec 14, 2021 |