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

a one-page homescreen with a news feed

esnext React snippets

Example Application to demo various flavours of handling domain events in Spring Boot

一个可以快速粘贴剪贴板里的照片到markdown的插件，并且可以设置使用七牛存储照片。

RSS/Atom/JSON feed parser

ERD Editor

feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)

Minimalist and opinionated feed reader

⚛ AsciiDoc preview for the Atom editor.

Side-by-side file compare for the Atom text editor.

Everyone deserves RSS, ATOM and JSON feeds!

Parse RSS, Atom and JSON feeds in Go

Compile LaTeX or knitr documents from within Atom

Subscribes to RSS/Atom/JSON feeds and notifies on new items.

Make and run TIC-80 games in Atom

Package providing customisable toolbar for Atom

A PHP library to read and write feeds in JSONFeed, RSS or Atom format

A curated list of delightful Atom packages and resources.

⌨️ Convenient padding and closing of brackets for Atom

Scientific analysis of nanoscale materials imaging data

Autocomplete React Native / JS Styles and converting plain CSS to JS styles

Simple terminal for the Atom text editor.

Solidity compilation and Ethereum contract execution interface for hackable atom editor

A stack. A framework. A conversation.

Atom package that shows a list of todos from your project.

⚛️ Search & install npm packages from import/require statements.

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

Java language support for Atom-IDE

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.

Previewing (J)SCAD 3D models inside Atom.

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

Python language support for Atom-IDE :atom: 🐍

VSCode Theme based on Atom's One Dark theme

Atom autocomplete-plus provider for haskell

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.

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

Replacement icon for the Atom text editor

The hackable text editor

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

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

Autocomplete Paths for Atom

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

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

Atom snippets package

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

Highlights the current word selected when double clicking

Autocomplete stubs for common IronPython/.NET libraries

Go Terminal Feed Reader

WSL proxy files for editor/linux interop

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

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

Portable version of the Atom text editor

Apex monochrome Atom theme syntax.

Haskell IDE plugin for Atom editor

RSS reader extension for Firefox

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.