-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedOct 20, 2025 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJan 24, 2025 -
nstc-proposal Public
國科會專題研究計畫中文 CM03/CM302 的 LaTeX 文件格式
-
Type-Theory Public
Lecture note on Lambda Calculus and Types for FLOLAC
-
BiSig Public
Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
-
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
-
smalltt Public
Forked from AndrasKovacs/smallttDemo for high-performance type theory elaboration
Lean MIT License UpdatedNov 1, 2023 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedSep 20, 2023 -
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda Other UpdatedJul 22, 2023 -
lhs2tex Public
Forked from kosmikus/lhs2texPreprocessor for typesetting Haskell sources with LaTeX
Haskell Other UpdatedJul 1, 2023 -
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
Dockerfile MIT License UpdatedJan 23, 2023 -
setup-agda Public
Forked from wenkokke/setup-agdaSet up a specific version of Agda for your GitHub Actions workflow.
TypeScript MIT License UpdatedNov 15, 2022 -
agda-bench Public
Forked from UlfNorell/agda-benchBenchmarking tool for compile-time performance of Agda programs
Haskell MIT License UpdatedJan 27, 2022 -
-
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedJan 3, 2022 -
agda-prelude Public
Forked from UlfNorell/agda-preludeProgramming library for Agda
Agda MIT License UpdatedJan 2, 2022 -
melpa Public
Forked from melpa/melpaRecipes and build machinery for the biggest Emacs package repo
Emacs Lisp Other UpdatedSep 30, 2021 -
-
-
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
HTML Creative Commons Attribution 4.0 International UpdatedJul 29, 2021 -
fix-whitespace Public
Forked from agda/fix-whitespaceFixes whitespace issues
Haskell Other UpdatedJul 29, 2021 -
text-icu Public
Forked from haskell/text-icuThis package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
Haskell BSD 2-Clause "Simplified" License UpdatedMay 11, 2021 -
MtacAR Public
Mtac in Agda
-
auto-dark-mode.vim Public
A MacVim plugin for switching between dark and light modes automatically.
-
containers Public
Forked from haskell/containersAssorted concrete container types
Haskell UpdatedAug 14, 2020 -
-
starter-workflows Public
Forked from actions/starter-workflowsAccelerating new GitHub Actions workflows
MIT License UpdatedFeb 2, 2020
{{ message }}