Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Mode

Stars
58
License
mit
Open Issues
27
Most Recent Commit
3 years ago
Programming Language
Reason
Categories
Site
Repo
Alternatives To Agda Mode
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Gotests4,69066410 months ago10May 23, 202158apache-2.0Go
Automatically generate Go test boilerplate from your source code.
Merlin1,548
a month ago252mitOCaml
Context sensitive completion for OCaml in Vim and Emacs
Markdownfmt784117 months ago2October 25, 202316mitGo
Like gofmt, but for Markdown.
Pact576
5 months ago133bsd-3-clauseHaskell
The Pact Smart Contract Language
Import Js522npm import-js} Downloads935 months ago53December 01, 202175mitJavaScript
A tool to simplify importing JS modules
Ewig480
2 years ago1gpl-3.0C++
The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture
Themecreator369
a year ago6gpl-3.0Clojure
https://mswift42.github.io/themecreator/ create themes for intellij, textmate, textadept, atom, emacs, vim and gnome terminal.
Compliment348
107 months ago42February 23, 201910epl-1.0Clojure
Clojure completion library that you deserve
Atomic Emacs214
5 years ago4mitCoffeeScript
An atomic implementation of emacs keybindings for the Atom text editor.
Atom One Dark Theme212
3 years ago8gpl-3.0Emacs Lisp
Atom One Dark - An Emacs port of the Atom One Dark theme from Atom.io.
Alternatives To Agda Mode
Select To Compare
Gotests ⭐ 4,690
Automatically generate Go test boilerplate from your source code.
dependent packages 64total releases 10most recent commit 10 months ago
Markdownfmt ⭐ 784
Like gofmt, but for Markdown.
dependent packages 11total releases 2most recent commit 7 months ago
Pact ⭐ 576
The Pact Smart Contract Language
most recent commit 5 months ago
Import Js ⭐ 522
A tool to simplify importing JS modules
dependent packages 3total releases 53most recent commit 5 months agonpm import-js} Downloads
Compliment ⭐ 348
Clojure completion library that you deserve
total releases 42most recent commit 7 months ago


Suggest An Alternative To agda-mode
Alternative Project Comparisons
Agda Mode vs Gotests
Agda Mode vs Merlin
Agda Mode vs Markdownfmt
Agda Mode vs Pact
Agda Mode vs Import Js
Agda Mode vs Ewig
Agda Mode vs Themecreator
Agda Mode vs Compliment
Agda Mode vs Atomic Emacs
Agda Mode vs Atom One Dark Theme
Popular Emacs Projects
Popular Atom Editor Projects
Jotai ⭐ 16,380
👻 Primitive and flexible state management for React
dependent packages 518total releases 159latest release November 25, 2023most recent commit 5 months agonpm jotai} Downloads
Rss Bridge ⭐ 6,564
The RSS feed for websites missing it
latest release April 06, 2018most recent commit 5 months ago
V2 ⭐ 6,242
Minimalist and opinionated feed reader
dependent packages 10total releases 75latest release October 15, 2023most recent commit 2 months ago
Popular Text Editors Categories
Editor
Vim
Emacs
Neovim
Sublime Text
Viml
Vim Plugin
Nvim
Text Editor
Neovim Plugin
Related Searches
Types Agda
Types Atom Editor
Emacs Atom Editor
Types Emacs
Types Reason
Emacs Agda
Atom Editor Reason
Atom Editor Agda
Emacs Reason

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Emacs
Atom Editor
Reason
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.