|
Agda |
1139 |
An introduction to programming language theory in Agda |
Aug 29, 2022 |
|
HTML |
3 |
An introduction to programming language theory in Agda |
May 13, 2022 |
|
Agda |
8 |
Category Theory in Agda |
Nov 02, 2019 |
|
CSS |
4781 |
Programming Language Theory λΠ |
Aug 12, 2022 |
|
CSS |
2 |
Programming Language Theory λΠ |
Oct 24, 2023 |
|
JavaScript |
3 |
Dan's Blog | Programming Language Theory • System Programming |
Jul 21, 2022 |
|
Agda |
13 |
Formalization of category theory in Agda |
Oct 18, 2022 |
|
Agda |
3 |
Agda developments in homotopy type theory |
Apr 11, 2023 |
|
Agda |
5 |
Group Theory in Agda, Done Categorically |
Jul 06, 2021 |
|
Agda |
20 |
Category theory formalized in cubical agda |
Dec 23, 2022 |
|
Scheme |
5 |
haskell, lisp, and programming language theory |
Oct 13, 2020 |
|
Agda |
6 |
Solutions for PLFA (Programming Language Foundations in Agda) exercise |
Apr 07, 2023 |
|
C |
2 |
Introduction to C programming language. |
Apr 30, 2023 |
|
Shell |
4 |
Development of homotopy type theory in Agda |
Dec 24, 2018 |
|
Agda |
47 |
Observational Type Theory as an Agda library |
Aug 11, 2022 |
|
Agda |
6 |
Experiments in Higher Category Theory in Agda |
Mar 03, 2022 |
|
Agda |
3 |
Notes on Homotopy Type Theory in Agda |
Jun 01, 2023 |
|
CSS |
3 |
A path to Programming Language Theory enlightenment |
Apr 01, 2023 |
|
Haskell |
1913 |
Agda is a dependently typed programming language / interactive theorem prover. |
Aug 30, 2022 |
|
Haskell |
2 |
Agda is a dependently typed programming language / interactive theorem prover. |
Dec 02, 2022 |
|
Python |
9 |
Theory propagator for linear programming using clingo theory language and interface. |
Jun 07, 2022 |
|
None |
6 |
Introduction to the Go Programming Language |
Jul 09, 2022 |
|
Jupyter Notebook |
3 |
Introduction to the Programming Language Python |
May 22, 2023 |
|
Agda |
21 |
Multimode simple type theory as an Agda library. |
Mar 25, 2023 |
|
Agda |
14 |
Experiment with synthetic domain theory in cubical agda |
Mar 04, 2023 |
|
HTML |
4 |
Introduction to Queueing Theory |
Jul 09, 2021 |
|
Go |
2 |
Introduction to programming using the Go language |
Sep 20, 2021 |
|
Rust |
20 |
Guided introduction to the Rust programming language. |
Apr 24, 2022 |
|
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 |