Similar projects and alternatives to agda2lagda
Type-level lenses using singletons because why not
Combinators for manipulating dependently-typed predicates.
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Check for unused code in an Agda project.
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Agda is a dependently typed programming language / interactive theorem prover.
Inductive dependently-typed witnesses for working with type-level lists.
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Haskell dependent types the ugly and brute force way
agda2lagda reviews and mentions
We haven't tracked posts mentioning agda2lagda yet.
Tracking mentions began in Dec 2020.
andreasabel/agda2lagda is an open source project licensed under LicenseRef-PublicDomain which is not an OSI approved license.