Agda is a dependently typed programming language / interactive theorem prover.
-
Updated
Feb 22, 2025 - Haskell
#
agda
Here are 15 public repositories matching this topic...
agda-mode for neovim
-
Updated
Feb 20, 2025 - Haskell
A toolkit for enforcing logical specifications on neural networks
-
Updated
Feb 17, 2025 - Haskell
-
Updated
Jul 21, 2023 - Haskell
Simple conversion from Agda text to literate Agda text.
-
Updated
Dec 16, 2024 - Haskell
An implementation of the staged Strymonas streams library in Agda for C
-
Updated
Jul 22, 2020 - Haskell
A proof-of-concept Language Server for the Agda programming language.
-
Updated
Nov 23, 2022 - Haskell
LLVM Backend for Agda (BSc thesis)
-
Updated
Jun 21, 2022 - Haskell
Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform
-
Updated
Sep 23, 2017 - Haskell
Ñuflo is an interpreted functional-logic programming language based on the λU-Calculus.
programming-language haskell functional-programming lambda-calculus prolog agda logic-programming hindley-milner
-
Updated
Mar 7, 2021 - Haskell
GHC Core plugin for lightweight formal verification of Haskell programs via Agda.
-
Updated
May 5, 2023 - Haskell
A tiny Haskell library to generate less than and equals comparators for Agda data types
-
Updated
Feb 19, 2017 - Haskell
Improve this page
Add a description, image, and links to the agda topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the agda topic, visit your repo's landing page and select "manage topics."