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

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

Agda Web · GitHub

Bring Agda the interactive proof assistant to the web.

1. Distributions of Agda executable compiled into WebAssembly.

   Python 19 1

2. 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. 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. Forked from wasmerio/wasmer-js

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

   Rust

• 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 Aug 11, 2025
• agda-web/vscode-wasm’s past year of commit activity TypeScript 0 MIT 41 0 0 Updated Aug 4, 2025
• agda-web/agda-language-server’s past year of commit activity Haskell 1 MIT 18 0 0 Updated Aug 3, 2025
• 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 100 0 0 Updated Aug 2, 2025
• agda-wasm-dist Public

  Distributions of Agda executable compiled into WebAssembly.

  agda-web/agda-wasm-dist’s past year of commit activity Python 19 MIT 1 0 0 Updated Jul 27, 2025
• 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 27 0 0 Updated Jun 26, 2025
• agda-web/agda’s past year of commit activity Haskell 4 384 0 0 Updated Jun 12, 2025
• 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 928 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 90 0 0 Updated Dec 13, 2024
• agda-web/wasmtime’s past year of commit activity Rust 0 Apache-2.0 1,516 0 0 Updated Jul 13, 2024

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

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