GitHub / agda-web 4 Repositories
Bring Agda the interactive proof assistant to the web.
agda-web/agda-wasm-dist
Distributions of Agda executable compiled into WebAssembly.
Language: Python - Size: 26.4 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 16 - Forks: 0
agda-web/wasmer Fork of 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
Language: Rust - Size: 322 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
agda-web/wasmer-js Fork of wasmerio/wasmer-js
[Forked for changing stream buffer sizes] Monorepo for Javascript WebAssembly packages by Wasmer
Language: Rust - Size: 6.57 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
agda-web/agda-input
Data source of Agda mode's input method, originally on Emacs
Language: JavaScript - Size: 319 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
agda-web/agda Fork of agda/agda
[For generating patches for https://github.com/agda-web/agda-wasm-dist] Agda is a dependently typed programming language / interactive theorem prover.
Language: Haskell - Size: 138 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0
agda-web/lsp Fork of haskell/lsp
Haskell library for the Microsoft Language Server Protocol
Language: Haskell - Size: 3.24 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
agda-web/sftp-ws Fork of Inveniem/sftp-ws
SFTP over WebSockets - client and server package for Node.js
Size: 1.46 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
agda-web/node-elparser Fork of kiwanami/node-elparser
A parser for S-expression of emacs lisp
Language: JavaScript - Size: 23.4 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
agda-web/agda-codemirror-alpha 📦
Source code of Agda mode on CodeMirror Next.
Language: JavaScript - Size: 7.46 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
agda-web/codemirror.next Fork of codemirror/dev
The next generation of the CodeMirror in-browser editor
Language: JavaScript - Size: 3.62 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
agda-web/golden-layout Fork of golden-layout/golden-layout
A multi window layout manager for webapps
Language: JavaScript - Size: 7.45 MB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0