Skip to content

@agda-web Agda Web

Change the repository type filter

All

    Repositories list

    15 repositories

    • vscode-wasm

      Public
      A WASI implementation that uses VS Code's extension host as the implementing API
      TypeScript
      •
      MIT License
      •35•0•0•0•Updated Aug 4, 2025Aug 4, 2025

    • agda-language-server

      Public
      Language Server for Agda
      Haskell
      •
      MIT License
      •16•1•0•0•Updated Aug 3, 2025Aug 3, 2025

    • lsp

      Public
      Haskell library for the Microsoft Language Server Protocol
      Haskell
      •96•0•0•0•Updated Aug 2, 2025Aug 2, 2025

    • agda-wasm-dist

      Public
      Distributions of Agda executable compiled into WebAssembly.
      Python
      •
      MIT License
      •1•19•0•0•Updated Jul 27, 2025Jul 27, 2025

    • cowasm

      Public
      CoWasm: Collaborative WebAssembly for Servers and Browsers. Built using Zig. Supports Python with extension modules, including numpy.
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •27•0•0•0•Updated Jun 26, 2025Jun 26, 2025

    • agda

      Public
      [For generating patches for https://github.com/agda-web/agda-wasm-dist] Agda is a dependently typed programming language / interactive theorem prover.
      Haskell
      •
      Other
      •379•4•0•0•Updated Jun 12, 2025Jun 12, 2025

    • wasmer

      Public
      [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
      •
      MIT License
      •905•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • wasmer-js

      Public
      [Forked for changing stream buffer sizes] Monorepo for Javascript WebAssembly packages by Wasmer
      Rust
      •
      MIT License
      •89•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • agda-input

      Public
      Data source of Agda mode's input method, originally on Emacs
      JavaScript
      •0•0•0•0•Updated Sep 8, 2024Sep 8, 2024

    • wasmtime

      Public
      A fast and secure runtime for WebAssembly
      Rust
      •
      Apache License 2.0
      •1.5k•0•0•0•Updated Jul 13, 2024Jul 13, 2024

    • codemirror-state

      Public
      [Forked for tweaking string handlings] Editor state data structures for the CodeMirror code editor
      TypeScript
      •
      MIT License
      •25•0•0•0•Updated Jun 25, 2024Jun 25, 2024

    • golden-layout

      Public
      A multi window layout manager for webapps
      JavaScript
      •
      MIT License
      •552•0•0•0•Updated Aug 13, 2022Aug 13, 2022

    • node-elparser

      Public
      A parser for S-expression of emacs lisp
      JavaScript
      •4•0•0•0•Updated Aug 2, 2022Aug 2, 2022

    • agda-codemirror-alpha

      Public archive
      Source code of Agda mode on CodeMirror Next.
      agdahacktoberfestcodemirror-next
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Oct 9, 2020Oct 9, 2020

    • sftp-ws

      Public
      SFTP over WebSockets - client and server package for Node.js
      TypeScript
      •
      MIT License
      •16•0•0•0•Updated Sep 17, 2020Sep 17, 2020