⌨️ Emacs Keymap inside Visual Studio Code.
☆45Jun 22, 2023Updated 2 years ago
Alternatives and similar repositories for Emacs
Users that are interested in Emacs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interval arithmetic for real computation☆25Feb 7, 2026Updated 2 months ago
- Source maps support for Haxe☆13Oct 5, 2023Updated 2 years ago
- Manage the shell buffers for each project☆23Oct 5, 2023Updated 2 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Oct 22, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- Interactive POetry Editor☆28Oct 24, 2021Updated 4 years ago
- Networked REPL over TCP for Chicken Scheme☆26Oct 14, 2024Updated last year
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 7 years ago
- Say incantations to enjoy web designing.☆11Mar 9, 2018Updated 8 years ago
- An emacs extension that sonifies your code.☆21Jan 10, 2019Updated 7 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 11 years ago
- ☆15Feb 24, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆16Aug 6, 2022Updated 3 years ago
- easy-to-use wrapper for OCaml's Dynlink☆17Jan 9, 2017Updated 9 years ago
- A VS Code extension help you explore CPython internals☆14Mar 3, 2023Updated 3 years ago
- Code-regrouping to reduce latency in Julia code compilation☆15Mar 11, 2022Updated 4 years ago
- Pico-8 Reimplementation in Love2D☆18May 13, 2022Updated 3 years ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆17Jan 24, 2025Updated last year
- Arguments parsing without boilerplate.☆14Dec 8, 2022Updated 3 years ago
- Flexible and customizable static site generator with a lot of plugins!☆23Apr 20, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Pipelines for building ROOT on pipeline jobs in Jenkins☆13Oct 12, 2023Updated 2 years ago
- A handy tool to help design and parse your own language☆21Aug 13, 2022Updated 3 years ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25May 14, 2020Updated 5 years ago
- ☆16Apr 24, 2026Updated last week
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆23Mar 9, 2021Updated 5 years ago
- A simple paint program in Racket☆14Jan 5, 2022Updated 4 years ago
- Jenkins plug-in that provides utility classes that can be used to accelerate plugin development☆17Apr 24, 2026Updated last week
- A naive θ..θ programming language☆27Oct 23, 2018Updated 7 years ago
- Chicken Scheme bindings for the lightweight ZMQ-alternative nanomsg☆13Aug 17, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- A database migration tool written in Racket.☆18Dec 31, 2025Updated 4 months ago
- QR code library in pure Haskell☆22Feb 4, 2026Updated 2 months ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- ☆17Aug 11, 2022Updated 3 years ago
- ☆224Dec 24, 2025Updated 4 months ago
- Parsers and Tools for OpenQASM☆19Jan 11, 2026Updated 3 months ago