Pinned Loading

1. als-demo als-demo Public

   A teaser of Agda REPL 2025 Edition (WARNING: messy code)

   JavaScript 4 1

2. agda agda Public

   Forked from agda/agda

   [For generating patches for {Agda,ALS} WASM up to v2.8.0.] Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 4

3. agda-wasm-dist agda-wasm-dist Public

   Distributions of Agda executable compiled into WebAssembly.

   Python 25 2

4. agda-language-server agda-language-server Public

   Forked from agda/agda-language-server

   Language Server for Agda

   Haskell 3

5. agda-input agda-input Public

   Data source of Agda mode's input method, originally on Emacs

   JavaScript