Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Codemirror Agda

Agda mode and input helper for CodeMirror used on Codewars
Stars
5
License
mit
Open Issues
1
Most Recent Commit
2 years ago
Programming Language
TypeScript
Categories
Site
Repo
Suggest An Alternative To codemirror-agda
Popular Codemirror Projects
Graphiql ⭐ 15,491
GraphiQL & the GraphQL LSP Reference Ecosystem for building browser & IDE tools.
dependent packages 222total releases 471latest release November 20, 2023most recent commit 3 months agonpm graphiql} Downloads
Editor.md ⭐ 13,320
The open source embeddable online markdown editor (component).
dependent packages 11total releases 1latest release June 27, 2015most recent commit 5 months agonpm editor.md} Downloads
Popular Tex Projects
Popular Text Editors Categories
Editor
Vim
Emacs
Neovim
Sublime Text
Viml
Vim Plugin
Nvim
Text Editor
Neovim Plugin
Related Searches
Typescript Codemirror
Typescript Tex
Tex Agda
Typescript Agda
Tex Codemirror

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Typescript
Tex
Codemirror
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.