Mirror of GNU Emacs

It's Magit! A Git Porcelain inside Emacs.

Otter Browser aims to recreate the best aspects of the classic Opera (12.x) UI using Qt5

A static analyzer for Java, C, C++, and Objective-C

Bear is a tool that generates a compilation database for clang tooling.

Context sensitive completion for OCaml in Vim and Emacs

A C++, header-only library for constructing JSON and JSON-like data formats, with JSON Pointer, JSON Patch, JSON Schema, JSONPath, JMESPath, CSV, MessagePack, CBOR, BSON, UBJSON, toon-format

Project Interaction Library for Emacs

Minor mode for God-like command entering

SeaHorn Verification Framework

Java Docker API Client

A curated list of awesome Machine Learning frameworks, libraries and software.

Emacs incremental completion and selection narrowing framework

Plumbum: Shell Combinators

Multiple cursors for Emacs

Multiple cursors for emacs.

Coz: Causal Profiling

Simple HTML5 Charts using the <canvas> tag

Manage complex tmux sessions easily

📝 A curated list of awesome Raspberry Pi tools, projects, images and resources

A curated list of awesome frameworks, libraries and software for the Java programming language.

web template editing mode for emacs

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

A tool for analyzing LLVM bitcode using Datalog.

A tiling terminal emulator for Linux using GTK+ 3

A community driven list of useful Emacs packages, libraries and other items.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A good looking terminal emulator which mimics the old cathode display...

Validate your forms, frontend, without writing a single line of javascript

🗂 The perfect Front-End Checklist for modern websites and meticulous developers