-
rakuyomi Public
Forked from hanatsumi/rakuyomiA manga reader plugin for KOReader.
Rust GNU Affero General Public License v3.0 UpdatedNov 28, 2024 -
io-sim Public
Forked from input-output-hk/io-simHaskell's IO simulator which closely follows core packages (base, async, stm).
Haskell Apache License 2.0 UpdatedNov 15, 2024 -
TaskbarX Public
Forked from ChrisAnd1998/TaskbarXCenter Windows taskbar icons with a variety of animations and options.
Visual Basic .NET MIT License UpdatedJan 21, 2024 -
openai-hs Public
Forked from agrafix/openai-hsUnofficial OpenAI Haskell Bindings
Haskell UpdatedSep 15, 2023 -
openapi3 Public
Forked from biocad/openapi3OpenAPI 3.0 data model
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 15, 2023 -
-
plutarch-plutus Public
Forked from Plutonomicon/plutarch-plutusTyped eDSL for writing UPLC /ˈpluː.tɑːk/
Haskell MIT License UpdatedAug 19, 2022 -
syb-with-class Public
Forked from alephcloud/syb-with-classFork of http://patch-tag.com/r/Saizan/syb-with-class
-
Agda-proofs Public
Forked from maaikezwart/Agda-proofsAgda code for the proofs I use in my research
Agda MIT License UpdatedJan 13, 2022 -
awesome-plutus Public
Forked from mlabs-haskell/awesome-plutusCreative Commons Zero v1.0 Universal UpdatedJan 6, 2022 -
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedFeb 10, 2021 -
-
-
HoTT-UF-Agda-Lecture-Notes Public
Forked from martinescardo/HoTT-UF-Agda-Lecture-NotesLecture notes on univalent foundations of mathematics with Agda
Agda GNU General Public License v3.0 UpdatedMay 17, 2020 -
-
-
-
closed-canonicity Public
Forked from andreasabel/closed-canonicitySome Agda code with the intent to formalize a proof of canonicity for type theory
TeX UpdatedFeb 8, 2019 -
cat Public
Forked from fredefox/catFormalizing Category Theory in Agda using Cubical Type Theory
-
-
AgdaProofs Public
Forked from vmaestracci/AgdaProofsMy agda proofs for my internship at Chalmers with Mr. Coquand
Agda UpdatedAug 9, 2018 -
lambda-definability Public
Forked from andreasabel/lambda-definabilityLambda-definability and NBE for simply-typed lambda-calculus and maybe beyond
Agda UpdatedJul 4, 2018 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJun 8, 2018 -
-
-
-
-
agdarsec Public
Forked from gallais/agdarsecTotal Parser Combinators in Agda
Agda GNU General Public License v3.0 UpdatedMay 13, 2017
{{ message }}