Skip to content
@agda-web

Agda Web

Bring Agda the interactive proof assistant to the web.

Pinned Loading

  1. agda-wasm-dist agda-wasm-dist Public

    Distributions of Agda executable compiled into WebAssembly.

    Python 16

  2. agda agda Public

    Forked from agda/agda

    [For generating patches for https://github.com/agda-web/agda-wasm-dist] Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 4

  3. wasmer wasmer Public

    Forked from wasmerio/wasmer

    [Patched Wasmer 4.3.2? as a dependency of Wasmer JS SDK v0.7.1] 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

    Rust

  4. wasmer-js wasmer-js Public

    Forked from wasmerio/wasmer-js

    [Forked for changing stream buffer sizes] Monorepo for Javascript WebAssembly packages by Wasmer

    Rust

Repositories

Showing 10 of 14 repositories
  • wasmer Public Forked from wasmerio/wasmer

    [Patched Wasmer 4.3.2? as a dependency of Wasmer JS SDK v0.7.1] 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

    agda-web/wasmer’s past year of commit activity
    Rust 0 MIT 849 0 0 Updated Dec 13, 2024
  • wasmer-js Public Forked from wasmerio/wasmer-js

    [Forked for changing stream buffer sizes] Monorepo for Javascript WebAssembly packages by Wasmer

    agda-web/wasmer-js’s past year of commit activity
    Rust 0 MIT 86 0 0 Updated Dec 13, 2024
  • vscode-wasm Public Forked from microsoft/vscode-wasm

    A WASI implementation that uses VS Code's extension host as the implementing API

    agda-web/vscode-wasm’s past year of commit activity
    TypeScript 0 MIT 37 0 0 Updated Nov 28, 2024
  • agda-input Public

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

    agda-web/agda-input’s past year of commit activity
    JavaScript 0 0 0 0 Updated Sep 8, 2024
  • agda Public Forked from agda/agda

    [For generating patches for https://github.com/agda-web/agda-wasm-dist] Agda is a dependently typed programming language / interactive theorem prover.

    agda-web/agda’s past year of commit activity
    Haskell 4 368 0 0 Updated Aug 20, 2024
  • agda-wasm-dist Public

    Distributions of Agda executable compiled into WebAssembly.

    agda-web/agda-wasm-dist’s past year of commit activity
    Python 16 MIT 0 0 0 Updated Jul 21, 2024
  • wasmtime Public Forked from bytecodealliance/wasmtime

    A fast and secure runtime for WebAssembly

    agda-web/wasmtime’s past year of commit activity
    Rust 0 Apache-2.0 1,379 0 0 Updated Jul 13, 2024
  • codemirror-state Public Forked from codemirror/state

    [Forked for tweaking string handlings] Editor state data structures for the CodeMirror code editor

    agda-web/codemirror-state’s past year of commit activity
    TypeScript 0 MIT 21 0 0 Updated Jun 25, 2024
  • lsp Public Forked from haskell/lsp

    Haskell library for the Microsoft Language Server Protocol

    agda-web/lsp’s past year of commit activity
    Haskell 0 96 0 0 Updated Dec 27, 2023
  • cowasm Public Forked from sagemathinc/cowasm

    CoWasm: Collaborative WebAssembly for Servers and Browsers. Built using Zig. Supports Python with extension modules, including numpy.

    agda-web/cowasm’s past year of commit activity
    C 0 BSD-3-Clause 26 0 0 Updated Nov 28, 2023
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…