-
CSAIL MIT, EPFL
- Boston
Stars
- All languages
- Assembly
- Batchfile
- Bison
- Boogie
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dart
- Elixir
- Emacs Lisp
- Erlang
- F*
- Frege
- Go
- HTML
- Haskell
- Isabelle
- J
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Markdown
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLSQL
- Pascal
- Perl
- Perl 6
- PostScript
- PowerShell
- Processing
- Pug
- Python
- Red
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Swift
- TeX
- TypeScript
- VHDL
- Vala
- Vim Script
- Vue
- Web Ontology Language
- X10
- XSLT
- Xtend
Fork of the python-language-server project, maintained by the Spyder IDE team and the community
Managing multiple vterm buffers in Emacs
Mirror of https://git.tecosaur.net/tec/org-pandoc-import
Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs
An unofficial Copilot plugin for Emacs.
Major mode for editing Jenkins declarative pipeline syntax
Python package to autocomplete bibtex bibliographies
Capture the output of the last terminal command and open it an editor in a separate tmux window.
An open source, self-hosted implementation of the Tailscale control server
A command-line productivity tool powered by AI large language models like GPT-4, will help you accomplish your tasks faster and more efficiently.
Unofficial Microsoft Teams for Linux client
CLI for building, running, testing, and managing your Emacs Lisp dependencies
The Upscayl backend powered by the NCNN framework and Real-ESRGAN architecture.
Speech-to-Text interface for Emacs using OpenAI's whisper model and whisper.cpp as inference engine.
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Emacs configs and site local code MON systems
BenWiederhake / tdlib-purple
Forked from ars3niy/tdlib-purplelibpurple Telegram plugin using tdlib
Downloads and archives content from reddit
A terminal interface for fetching and playing daily cryptic crosswords
Effortless AnkiSRS card managment to learn foreign words
Maid is a cross-platform Flutter app for interfacing with GGUF / llama.cpp models locally, and with Ollama and OpenAI models remotely.