Search Results for "emacs"
Sort By:
9 projects for "emacs" with 2 filters applied:
-
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.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
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
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. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
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... -
6
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. -
7
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. -
8
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. -
9
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. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
- Previous
- You're on page 1
- Next