Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/agda below:

Agda Github Community · GitHub

• Pricing

1. Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 2.7k 378

2. The Agda standard library

   Agda 617 251

3. An experimental library for Cubical Agda

   Agda 491 150

4. A new Categories library for Agda

   Agda 383 71

5. Compiling Agda code to readable Haskell

   Agda 189 42

6. agda-mode for neovim

   Haskell 158 24

• agda/agda-stdlib’s past year of commit activity
• agda Public

  Agda is a dependently typed programming language / interactive theorem prover.

  agda/agda’s past year of commit activity
• cubical Public

  An experimental library for Cubical Agda

  agda/cubical’s past year of commit activity
• agda/agda-categories’s past year of commit activity
• agda/agda-stdlib-meta’s past year of commit activity Agda 19 MIT 4 9 3 Updated Jul 10, 2025
• agda2hs Public

  Compiling Agda code to readable Haskell

  agda/agda2hs’s past year of commit activity
• agda-stdlib-classes Public

  Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

  agda/agda-stdlib-classes’s past year of commit activity Agda 3 MIT 3 2 3 Updated Jul 4, 2025
• agda-pretty Public

  Agda port of the Haskell pretty (Text.PrettyPrint) package

  agda/agda-pretty’s past year of commit activity Agda 0 0 0 0 Updated Jun 25, 2025
• ooAgda Public

  Interactive and object-oriented programming in Agda using coinductive types

  agda/ooAgda’s past year of commit activity Agda 23 MIT 2 0 1 Updated Jun 2, 2025
• agda/fix-whitespace’s past year of commit activity Haskell 8 7 5 1 Updated May 19, 2025

Loading…

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4