JS bindings for Agda
MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol
A collection of utility functions and types for Node.js and the browser
Provides a method for lazy loading of js libraries in the browser.
[![][npm-badge]][npm-url] [![][travis-badge]][travis-url]
Compute hashes of Casinocoin objects
A JavaScript API for interacting with the casinocoind server using Node.js or browser clients.
Parses transaction objects to a higher-level view
casinocoin binary codec
casinocoin key pairs
Command line interface to DiCy, a builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
encodes/decodes base58 encoded casinocoin identifiers
WASM build of Agda and Agda Language Server.
Useful js
CodeMirror extension for editing Agda
tree sitter for Agda
Library interface to DiCy, a builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
Library for enhancing Agda-generated HTML documentation
Agda package manager.
Static Package Manager
Invoke ECMAScript scripts in any command line JS engine.
gettext.js is a lightweight (3kB minified!) but complete and accurate GNU gettext port for Node.js and the browser. Manage your i18n translations the right way in your JavaScript projects.
A JavaScript API for interacting with Casinocoin in Node.js and the browser
JavaScript utility library