All Projects → Agda Mode → Similar Projects or Alternatives

377 Open source projects that are alternatives of or similar to Agda Mode

Vuejs Snippets
Collection of Vuejs 2.0+ snippets
Stars: ✭ 17 (-70.69%)
Mutual labels:  atom
Kotlin Language Server
Intelligent Kotlin support for any editor/IDE using the Language Server Protocol
Stars: ✭ 650 (+1020.69%)
Mutual labels:  atom
Language Dot
Dot (Graphviz) package for Atom
Stars: ✭ 11 (-81.03%)
Mutual labels:  atom
Language Diff
Stars: ✭ 22 (-62.07%)
Mutual labels:  atom
Atom Plugins
some awesome atom-plugins !
Stars: ✭ 526 (+806.9%)
Mutual labels:  atom
Atcon
atom condtions
Stars: ✭ 27 (-53.45%)
Mutual labels:  atom
Atom Clock
Clock for the Atom Editor
Stars: ✭ 5 (-91.38%)
Mutual labels:  atom
Atom
Safe atomic pointers
Stars: ✭ 35 (-39.66%)
Mutual labels:  atom
Linter Eslint
ESLint plugin for Atom Linter
Stars: ✭ 583 (+905.17%)
Mutual labels:  atom
Seti Ui
A subtle dark colored UI theme for Atom.
Stars: ✭ 856 (+1375.86%)
Mutual labels:  atom
Autocomplete Haskell
Atom autocomplete-plus provider for haskell
Stars: ✭ 23 (-60.34%)
Mutual labels:  atom
Python Feedgen
Python module to generate ATOM feeds, RSS feeds and Podcasts.
Stars: ✭ 501 (+763.79%)
Mutual labels:  atom
Fizzy
🍇 🍓 🍊 A lovely, bright and lively syntax theme for Atom.
Stars: ✭ 29 (-50%)
Mutual labels:  atom
Miniflux Legacy
Minimalist RSS reader (version 1.x)
Stars: ✭ 897 (+1446.55%)
Mutual labels:  atom
My Configurations
Chris Hough's .dot files + workstation setup
Stars: ✭ 40 (-31.03%)
Mutual labels:  atom
Atom Genesis Syntax
Custom syntax theme for Atom text editor (retired)
Stars: ✭ 16 (-72.41%)
Mutual labels:  atom
Github
Git and GitHub integration for Atom
Stars: ✭ 880 (+1417.24%)
Mutual labels:  atom
Lucario
The best flat theme for Vim, Atom, Sublime Text, Jetbrains Editors, Terminal.app, iTerm, Xcode and XTerm
Stars: ✭ 711 (+1125.86%)
Mutual labels:  atom
Atom Pull Requests
View/Edit comments on a Pull Request directly inside the Atom Editor
Stars: ✭ 47 (-18.97%)
Mutual labels:  atom
Cypht
Cypht: Lightweight Open Source webmail written in PHP and JavaScript
Stars: ✭ 628 (+982.76%)
Mutual labels:  atom
Color Indent
Use colors to show in a non intrusive manner different indentation levels.
Stars: ✭ 11 (-81.03%)
Mutual labels:  atom
Remote Ftp
FTP/FTPS/SFTP client for Atom.io
Stars: ✭ 549 (+846.55%)
Mutual labels:  atom
Envy
Text editing supercharger
Stars: ✭ 35 (-39.66%)
Mutual labels:  atom
Atom Project Manager
Project manager for the Atom editor
Stars: ✭ 519 (+794.83%)
Mutual labels:  atom
Atom Check Updates
A CLI for easily updating Atom to the latest version on RPM or Debian-based systems.
Stars: ✭ 8 (-86.21%)
Mutual labels:  atom
Atom Korean Spell Daum
Daum 맞춤법 검사기로 텍스트를 보내 손쉽게 교정 가능한 Atom package
Stars: ✭ 24 (-58.62%)
Mutual labels:  atom
Atom Transparency
How to make your Atom editor transparent
Stars: ✭ 477 (+722.41%)
Mutual labels:  atom
Atom Vim Mode Plus Ex Mode
Experiment to implement ex-mode for vim-mode-plus
Stars: ✭ 30 (-48.28%)
Mutual labels:  atom
Atomic Layout
Physical representation of layout composition to create declarative responsive layouts in React.
Stars: ✭ 920 (+1486.21%)
Mutual labels:  atom
Alfred Atom
Alfred workflow to browse and open Atom projects
Stars: ✭ 41 (-29.31%)
Mutual labels:  atom
Qolor
An atom package to color your queries!
Stars: ✭ 18 (-68.97%)
Mutual labels:  atom
Language Liquid
Liquid language support for Atom.
Stars: ✭ 28 (-51.72%)
Mutual labels:  atom
Feedkit
An RSS, Atom and JSON Feed parser written in Swift
Stars: ✭ 895 (+1443.1%)
Mutual labels:  atom
Terminus
Terminus, a terminal for Atom! - Looking for collaborators hop in, at your next bus stop :-)
Stars: ✭ 49 (-15.52%)
Mutual labels:  atom
Atom One Dark Terminal
A Terminal theme that mimics the One Dark theme made by the Atom team.
Stars: ✭ 890 (+1434.48%)
Mutual labels:  atom
Atom Annotations
Atom package that shows annotations (e.g. for overriden methods interface implementations) in your PHP source code.
Stars: ✭ 14 (-75.86%)
Mutual labels:  atom
Mighty React Snippets
Crafty React & Redux snippets for Atom Editor
Stars: ✭ 16 (-72.41%)
Mutual labels:  atom
Language Vue Component
Adds syntax highlighting to Vue Component files in Atom
Stars: ✭ 39 (-32.76%)
Mutual labels:  atom
Prettier Atom
An atom package for the prettier formatter.
Stars: ✭ 750 (+1193.1%)
Mutual labels:  atom
Atom Svgo
Minify SVG with SVGO.
Stars: ✭ 12 (-79.31%)
Mutual labels:  atom
Atom Script
🏃 Run ( scripts | selections | source ) in Atom
Stars: ✭ 708 (+1120.69%)
Mutual labels:  atom
Atom File Types
Specify additional file types for languages.
Stars: ✭ 54 (-6.9%)
Mutual labels:  atom
Jekyll Feed
📝 A Jekyll plugin to generate an Atom (RSS-like) feed of your Jekyll posts
Stars: ✭ 630 (+986.21%)
Mutual labels:  atom
Hfeed2atom
Python functions to convert a h-feed to Atom 1.0
Stars: ✭ 11 (-81.03%)
Mutual labels:  atom
Liferea
Liferea (Linux Feed Reader), a news reader for GTK/GNOME
Stars: ✭ 612 (+955.17%)
Mutual labels:  atom
Atom Stylefmt
Format your CSS using stylefmt.
Stars: ✭ 35 (-39.66%)
Mutual labels:  atom
Proton
space-atom. spacemacs and sublimious style editing in atom
Stars: ✭ 570 (+882.76%)
Mutual labels:  atom
Atom Sloc
Atom SLOC package for the statusbar
Stars: ✭ 10 (-82.76%)
Mutual labels:  atom
Feeds
golang rss/atom generator library
Stars: ✭ 542 (+834.48%)
Mutual labels:  atom
Go Signature Statusbar
Display the signature of the current Go function under the cursor in the status bar of Atom
Stars: ✭ 44 (-24.14%)
Mutual labels:  atom
Feed
A RSS, Atom and JSON Feed generator for Node.js, making content syndication simple and intuitive! 🚀
Stars: ✭ 523 (+801.72%)
Mutual labels:  atom
Atom Mocha Test Runner
Run your Atom package tests using Mocha
Stars: ✭ 10 (-82.76%)
Mutual labels:  atom
Import Js
A tool to simplify importing JS modules
Stars: ✭ 511 (+781.03%)
Mutual labels:  atom
Feeds2imap.clj
Pull RSS/Atom feeds to your IMAP folders with Clojure on JVM.
Stars: ✭ 31 (-46.55%)
Mutual labels:  atom
Atom Modular Snippets
:atom: A modular solution to snippets in @Atom.
Stars: ✭ 8 (-86.21%)
Mutual labels:  atom
Atom
Atom file-specific icons for improved visual grepping.
Stars: ✭ 1,093 (+1784.48%)
Mutual labels:  atom
Autocomplete Ruby
Provides intelligent code completion for Ruby in the Atom editor. Requires RSense.
Stars: ✭ 50 (-13.79%)
Mutual labels:  atom
Atom Flutter
An Atom plugin for Flutter developers
Stars: ✭ 42 (-27.59%)
Mutual labels:  atom
Youtube Fetcher
📺 Youtube Podcasting 🎧
Stars: ✭ 31 (-46.55%)
Mutual labels:  atom
Atomic Chrome
Edit Chrome textareas in Atom
Stars: ✭ 930 (+1503.45%)
Mutual labels:  atom
1-60 of 377 similar projects