Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
☆25Jun 29, 2012Updated 14 years ago
Alternatives and similar repositories for emacs-llvm-jit
Users that are interested in emacs-llvm-jit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Emacs window session manager modeled after GNU screen☆15Mar 26, 2015Updated 11 years ago
- ☆11Mar 17, 2023Updated 3 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- Promises and latches for Emacs Lisp☆13Aug 13, 2021Updated 5 years ago
- experimental Emacs modules in Go☆25Jul 15, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Efficiently manage Git branches without leaving your local branch☆56Feb 7, 2025Updated last year
- Emacs with an Emacs Lisp JIT (Just In Time) compiler using libjit.☆143Dec 3, 2016Updated 9 years ago
- Automatically disassemble emacs buffers containing LLVM bitcode.☆14Oct 8, 2021Updated 5 years ago
- Library for proving propositions quantified over finite sets☆15Sep 21, 2022Updated 4 years ago
- Editor for normalising learner texts (error annotation and tagging.)☆10May 25, 2026Updated 4 months ago
- ☆20May 7, 2014Updated 12 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- a fully-differentiable graphical raytracer☆15Jul 29, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Output Go structure template from JSON structure☆10May 11, 2015Updated 11 years ago
- GraphQL C++ server library at simple way☆12Oct 28, 2020Updated 5 years ago
- Get intellisense for Haskell in Kakoune via ghci☆14Jun 20, 2018Updated 8 years ago
- Example code for some blog posts about TypeScript compiler APIs☆14Apr 28, 2017Updated 9 years ago
- Emacs cursor teleportation☆22Feb 1, 2018Updated 8 years ago
- Helm functions to package directories (SCM controlled or not) as sources.☆36Oct 26, 2018Updated 7 years ago
- OptionParser for Clojure: Functional GNU-style command line options parser.☆35Dec 10, 2013Updated 12 years ago
- power-assert instrumentor for CoffeeScript☆34Nov 24, 2016Updated 9 years ago
- Tool for providing static analysis of items in Clang's compilation database.☆13May 11, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Apr 20, 2012Updated 14 years ago
- CLIM interface for playing chess☆11Nov 5, 2021Updated 4 years ago
- ☆17Jul 23, 2022Updated 4 years ago
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 7 years ago
- A Flycheck checker difinition for ClangCheck.☆11Jun 26, 2022Updated 4 years ago
- An itree-like data-structure to additionally support internal non-determinism☆23Oct 1, 2026Updated last week
- An Ivory library inspired by Atom☆15Oct 17, 2016Updated 9 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- A terminal emulator in Emacs (term.el enhancement: 256 colors, edit mode, logging, multiplexer and shell integration)☆59May 9, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- web pipes for your browser's omnibar!☆12Sep 22, 2011Updated 15 years ago
- ☆13May 2, 2023Updated 3 years ago
- Emacs character zapping, ace-jump-mode style☆41Dec 26, 2017Updated 8 years ago
- Quickly lookup Javadoc pages from Emacs☆58Feb 14, 2016Updated 10 years ago
- Convert elisp file header comments to markdown text, suitable for a github README.md file☆47Oct 27, 2022Updated 3 years ago
- gallina frontend for CompCert☆19Jul 6, 2019Updated 7 years ago
- ido-hacks improvements for e24☆57Oct 12, 2020Updated 5 years ago