language-agda
Agda language support for the Atom editor
Latest release 1.2.0 - Updated - 9 stars
tree-sitter-agda
tree sitter for Agda
Latest release 1.3.0 - Updated - 9 stars
agda-stdlib-0.9
The Agda Standard Library
Latest release 0.9.3 - Updated - 200 stars
agda-mode
agda-mode on Atom
Latest release 0.9.12 - Updated - 53 stars
agda-pkg
A package manager for Agda
Latest release 0.1.51 - Updated - 24 stars
@dicy/client
JSON-RPC client for DiCy.
Latest release 0.15.1 - Updated - 13 stars
@dicy/core
Library interface to DiCy, a builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave...
Latest release 0.15.1 - Updated - 13 stars
agda-tac
Agda - Tactical And Comprehensible
Latest release 0.1.4 - Updated - 7 stars
@dicy/cli
Command line interface to DiCy, a builder for LaTeX, knitr, literate Agda, literate Haskell and P...
Latest release 0.10.1 - Updated - 13 stars
math.npm
Simple mathematics Node.js package
Latest release 1.0.0 - Published
dicy
Compile LaTeX, knitr, literate Agda, literate Haskell and Pweave documents using DiCy.
Latest release 0.1.2 - Updated
@codewars/codemirror-agda
Agda mode and input helper for CodeMirror
Latest release 0.1.0 - Published - 2 stars
treesitter_agda
Nim wrapper for Agda language support within tree-sitter
Latest release - Published - 1 stars
@dicy/types
Shared types for DiCy.
Latest release 0.15.0 - Updated - 13 stars
@dicy/server
JSON-RPC server for DiCy.
Latest release 0.15.1 - Updated - 13 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search