Skip to content

@agda-web Agda Web

Change the repository type filter

All

    Repositories list

    14 repositories

    • 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
      •839•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
      •86•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • vscode-wasm

      Public
      A WASI implementation that uses VS Code's extension host as the implementing API
      TypeScript
      •
      MIT License
      •31•0•0•0•Updated Nov 28, 2024Nov 28, 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

    • 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
      •366•4•0•0•Updated Aug 20, 2024Aug 20, 2024

    • agda-wasm-dist

      Public
      Distributions of Agda executable compiled into WebAssembly.
      Python
      •
      MIT License
      •0•16•0•0•Updated Jul 21, 2024Jul 21, 2024

    • wasmtime

      Public
      A fast and secure runtime for WebAssembly
      Rust
      •
      Apache License 2.0
      •1.4k•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
      •20•0•0•0•Updated Jun 25, 2024Jun 25, 2024

    • lsp

      Public
      Haskell library for the Microsoft Language Server Protocol
      Haskell
      •92•0•0•0•Updated Dec 27, 2023Dec 27, 2023

    • 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
      •26•0•0•0•Updated Nov 28, 2023Nov 28, 2023

    • golden-layout

      Public
      A multi window layout manager for webapps
      JavaScript
      •
      MIT License
      •536•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