402 Open source projects that are alternatives of or similar to language-agda

A Terminal theme that mimics the One Dark theme made by the Atom team.

VisualCode projects for PJRC Teensy boards

VSCode Theme based on Atom's One Dark theme

Atom package to create and modify ansible-vault file

Crafty React & Redux snippets for Atom Editor

免费的公众号 RSS，支持扩展任意 APP

[Work in Progress] Minimalist Vim Based Editor for the 30th Century

Config for the Atom text editor

An atom package for the prettier formatter.

An Atom extension that adds little encouragements while you work

Atom autocomplete-plus provider for haskell

Definitions for Atom IDE

🏃 Run ( scripts | selections | source ) in Atom

Run the 'PHP Coding Standards Fixer' within Atom

⚠️⚠️⚠️ DEPRECATED

Package for the Atom text editor that provides on-the-fly music notation rendering for MEI with Verovio

📝 A Jekyll plugin to generate an Atom (RSS-like) feed of your Jekyll posts

A light UI theme for Atom that is inspired by Slack's Aubergine sidebar theme

Leed (contraction de Light Feed) est un agrégateur RSS libre et minimaliste qui permet la consultation de flux RSS de manière rapide et non intrusive.

🔧 Atom plugin which uses jedi to provide numerous tools useful for developing python code in atom.

Liferea (Linux Feed Reader), a news reader for GTK/GNOME

atom plugin for node-change-case

Support for viewing PDF files in Atom.

Syntax theme for Atom editor

space-atom. spacemacs and sublimious style editing in atom

FeedSpora posts RSS/Atom feeds to your social network accounts.

Share your workspace with team members and collaborate on code in real time in Atom

Do queries against your local databases

golang rss/atom generator library

Implements a graphical haskell debugger in atom, using ghci

Snippets for AVA and run tests directly in the editor

Add syntax highlighting to Cisco configuration files in Atom

A RSS, Atom and JSON Feed generator for Node.js, making content syndication simple and intuitive! 🚀

last Cursor Position is a package for atom that keeps a history of past cursor positions and allows to travel between them

Replacement icon for the Atom text editor

Atom Editor package providing syntax support for MJML

A tool to simplify importing JS modules

Consume and generate Atom and RSS feeds, and interact with Pubsubhubbub.

An arctic, north-bluish clean and elegant minimal Atom UI theme.

Syntax highlighting for Rainmeter files in Atom.

How to make your Atom editor transparent

Vim script syntax highlighting for Atom and GitHub.

The hackable text editor

A collection of coding themes for syntax highlighting and the editors that are designed to be available in dark and light modes with a very high precision of harmony and token definition coverage.

PlatformIO IDE for Atom: The next generation integrated development environment for IoT

Adds D language support for Atom

Atom File Icons plugin for IntelliJ IDEA products

RSS Parser written in Swift

An easy-to-use rss plugin for jquery with templating.

🌊 Elixir RSS/ATOM feed builder with a focus on standards compliance, security and extensibility

An Atom plugin to integrate with Socket-REPL over Clojure, ClojureScript, ClojureCLR, Joker, Babashka, Clojerl, Lumo and Plank

Resolve git merge conflicts in Atom

The Atom Community website.

Auto-correct ruby source code by using rubocop in Atom.

Atom's OneDark inspired theme for Sublime Text

🔧 Edit Atom settings

A dark and gloomy pastel color syntax theme for Atom.

Free Operator Mono clone for Atom

Text editing supercharger

A beautifully minimal, subtly animated, and carefully-designed Atom UI theme with innovative new ideas.