8000 Agda Web Ā· GitHub
[go: up one dir, main page]
Skip to content
@agda-web

Agda Web

Bring Agda th 8000 e interactive proof assistant to the web.

Pinned Loading

  1. als-demo als-demo Public

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

    JavaScript 4 1

  2. plfa.github.io plfa.github.io Public

    Forked from plfa/plfa.github.io

    Browser-only PLFA powered by VS Code for the Web. šŸŒ An introduction to programming language theory in Agda

    Agda

  3. 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

  4. agda-wasm-dist agda-wasm-dist Public

    Distributions of Agda executable compiled into WebAssembly.

    Python 25 2

  5. agda-language-server agda-language-server Public

    Forked from agda/agda-language-server

    Language Server for Agda

    Haskell 3

  6. agda-input agda-input Public

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

    JavaScript

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 22 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loadingā€¦

Most used topics

Loadingā€¦
0