-
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJan 5, 2026 -
potpourri Public
Where my everyday research happens
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedDec 17, 2025 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedAug 22, 2025 -
agdarsec Public
Total Parser Combinators in Agda
-
-
lang-syrup Public template
Forked from codemirror/lang-exampleSyrup language package for codemirror
JavaScript MIT License UpdatedOct 11, 2024 -
zwift Public
Forked from netbrain/zwiftEasily zwift on linux
Shell The Unlicense UpdatedApr 11, 2024 -
CS410-2024 Public
Content of the CS410 lectures
-
-
aeson Public
Forked from haskell/aesonA fast Haskell JSON library
Haskell Other UpdatedOct 25, 2023 -
Yaffle Public
Forked from edwinb/YaffleA core language and API for dependently typed languages
Idris UpdatedSep 25, 2023 -
idris2-elab-util Public
Forked from stefan-hoeck/idris2-elab-utilUtilities and documentation for exploring idirs2's new elaborator reflection.
Idris BSD 2-Clause "Simplified" License UpdatedSep 1, 2023 -
idris-tparsec Public
TParsec - Total Parser Combinators in Idris
-
-
dot-analysis Public
Analysing dependency graphs produced by Agda
-
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedMay 11, 2023 -
agda-presburger Public
Deciding Presburger arithmetic in agda
-
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedFeb 7, 2023 -
-
packer-idris Public
Forked from jfdm/packer-idrisPacker scripts for generating Virtual Box OVFs that have Idris preinstalled.
Shell UpdatedJan 5, 2023 -
ncurses-idris Public
Forked from mattpolzin/ncurses-idrisA hobby implementation of an ncurses binding for Idris 2
-
ola-lang Public
Forked from DSbD-AppControl/capable-langA small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.
Idris BSD 3-Clause Clear License UpdatedOct 15, 2022 -
idris-free Public
Various Free-X experiments
-
-
idrall Public
Forked from alexhumphreys/idrallDhall bindings for Idris
Idris Mozilla Public License 2.0 UpdatedApr 20, 2022 -
idris2-table Public
Forked from madman-bob/idris2-tableA table library for Idris 2
Idris Other UpdatedMar 17, 2022 -
generic-syntax Public
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
-
sleepp Public
A sleep with a progress bar
{{ message }}