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

Java language support for Atom-IDE

Rust language support in Atom - LOOKING FOR MAINTAINER, see #144

C# RSS and ATOM Feed reader library. Supports RSS 0.91, 0.92, 1.0, 2.0 and ATOM. Tested with multiple languages and feeds.

Ruby's favorite feed auto-discovery library/tool

Previewing (J)SCAD 3D models inside Atom.

Add support for Markdown to Atom (including Github flavored, Markdown Extra, CriticMark, YAML/TOML front-matter, and R Markdown), and smart behavior to lists.

pluto gems - planet feed reader and (static) website generator - auto-build web pages from published web feeds

Run the Atom editor within a Docker container

Python language support for Atom-IDE :atom: 🐍

vim-mode improved

VSCode Theme based on Atom's One Dark theme

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

Atom autocomplete-plus provider for haskell

⚠️⚠️⚠️ DEPRECATED

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.

Support for viewing PDF files in Atom.

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

Snippets for AVA and run tests directly in the editor

Replacement icon for the Atom text editor

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

The hackable text editor

Atom File Icons plugin for IntelliJ IDEA products

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

Atom package for opening files on GitHub.com

Rust IDE support for Atom, powered by the Rust Language Server (RLS)

Linter plugin using alex to catch insensitive, inconsiderate writing

Autocomplete Paths for Atom

⚛️ Atom theme inspired by a galaxy far far away...

Rebel Chat 💬 - is a modern way to keep in touch with any team, and keep your messaging under control right in your editor.

Atom Package Manager

 macOS theme for the Atom code editor. Over 200k downloads.

Parse feeds in Python

Atom snippets package

Easily align multi-line with support for different operators and custom configurations

《现代化前端工程师权威指南》https://guoyongfeng.github.io/book/

haskell-ghc-mod atom package

Highlights the current word selected when double clicking

Atom JSCS linter providers

Autocomplete stubs for common IronPython/.NET libraries

Moved to https://gitlab.com/ffreiheit/discord_feedbot

Go Terminal Feed Reader

Linter plugin for PHP, using PHP_CodeSniffer.

WSL proxy files for editor/linux interop

Cursor position history manager

Atom package that provides refactoring capabilities for your PHP source code.

An Atom package that semantically reformats Javascript based on the window size

ARCHIVED. NOT MAINTAINED. Themeable Markdown Converter (Print to PDF, HTML, JPEG or PNG)

agda-mode on Atom

Portable version of the Atom text editor

Specify additional file types for languages.

Apex monochrome Atom theme syntax.

Terminus, a terminal for Atom! - Looking for collaborators hop in, at your next bus stop :-)

Haskell IDE plugin for Atom editor

SimpleOpenNI library for Processing 3.5.2, 3.4, 3.3.7, 3.3.6 on MacOS for V1 and V2

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