Search Results for "emacs"
Sort By:
Showing 10 open source projects for "emacs"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Google Style Guides
Style guides for Google-originated open source projects
...Each guide covers a wide range of topics, including naming conventions, file organization, indentation, documentation, and usage of specific language features. The repository also provides supplementary resources such as an Emacs configuration file for Google’s C++ style and references to related guidelines like Effective Dart and Kotlin Style Guide. -
2
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic... -
3
Orgmode.nvim
Orgmode clone written in Lua for Neovim 0.10.3+
orgmode.nvim is a Neovim plugin that brings Org mode-style productivity features from Emacs to Neovim. It supports Org syntax for task management, agenda planning, notes, and literate programming. The plugin is designed to work natively in Lua and integrates with Neovim’s modern ecosystem while preserving Org mode’s power and flexibility. -
4
OCaml
The core OCaml system: compilers, runtime system, base libraries
...The other is a native code compiler that produces more efficient machine code; its performance matches the highest standards of modern compilers. OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. OCaml has a rich and dynamic community and best-in-class tooling. -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
uemacs
Random version of microemacs with my private modificatons
...The codebase prizes simplicity and portability, making it feasible to build and run on a variety of Unix-like systems without heavyweight dependencies. Its feature set is deliberately modest compared to full Emacs, favoring a quick, predictable editing experience for everyday text manipulation. The project serves as both a functional tool and an example of clean, old-school C systems programming. Because the editor is small, users can understand and modify it more easily than sprawling IDEs, which is appealing for hacking and learning. It’s not meant to compete with modern extensible editors; it exists as a minimal, dependable workhorse that starts fast and stays out of the way. -
6
Papis
Powerful and highly extensible command-line based document
Papis is a powerful and highly extensible CLI document and bibliography manager. With Papis, you can search your library for books and papers, add documents and notes, import and export to and from other formats, and much much more. Papis uses a human-readable and easily hackable .yaml file to store each entry's bibliographical data. It strives to be easy to use while providing a wide range of features. And for those who still want more, Papis makes it easy to write scripts that extend its... -
7
Django Notebook
Django + shell_plus + Jupyter notebooks made easy
Django + shell_plus + Jupyter notebooks made easy. A Jupyter notebook with access to objects from the Django ORM is a powerful tool to introspect data and run ad-hoc queries. Built-in integration with the imported objects from django-extensions shell_plus. Saves the state between sessions so you don't need to remember what you did. Inheritance diagrams on any object, including ORM models. -
8
Helpful
A better Emacs *help* buffer
...It also supports development-oriented workflows for people writing or debugging Emacs Lisp. The package is especially valuable for Emacs users who want documentation, source inspection, and navigation in one cleaner help experience. -
9
emacs-async
Simple library for asynchronous processing in Emacs
async.el is a module for doing asynchronous processing in Emacs. Some async applications are provided as well with this package. You can install emacs-async package from MELPA using package.el. You can also install from sources, in this case you should install using make and make install to ensure emacs-async is installed in a standard load-path destination where other packages can find it easily when compiling. -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
10
Tomorrow Theme
Tomorrow Theme
...Each scheme defines a small, harmonious set of base and accent colors that map predictably to tokens such as keywords, strings, numbers, and comments, reducing visual noise while preserving structure. The project ships ports for a wide range of tools (from Vim and Emacs to Sublime Text, iTerm, and more) and documents the palette so others can create faithful ports. Its emphasis on restraint and consistency makes it a popular baseline for teams that want code to look familiar across machines and applications.
- Previous
- You're on page 1
- Next