CinderX github.com ↗

Meta's performance extension for CPython including a JIT and Static Python.

LibraryLanguages & runtimespythonjitperformancestatic-python

Recommended in 1 thread

Python's experimental JIT to be removed
lwn.net · 2 days ago
Offers gradual speedups, with larger gains using type annotations.

mypyc ↗Languages & runtimes
A compiler that turns type-annotated Python modules into C extensions.
1 thread
Cython Languages & runtimes
A compiler that turns Python-like code into C extensions.
1 thread
AtomVM Languages & runtimes
A lightweight Erlang/Elixir virtual machine for microcontrollers.
1 thread
PyPy Languages & runtimes
An alternative Python implementation with a tracing JIT compiler.
1 thread
Numba Languages & runtimes
A JIT compiler for numerical Python code using LLVM.
1 thread
GraalPy ↗Languages & runtimes
A Python 3 implementation on the JVM/GraalVM with a JIT compiler and interop with other languages.
1 thread
pyxis ↗Dev tools
A compiler that generates Rust types matching C++ memory layouts.
1 thread
Spinel ↗Languages & runtimes
Matz's ahead-of-time compiler for a statically typed Ruby subset using RBS.
1 thread

F#
A functional-first programming language on .NET.
2 threads
Fil-C ↗
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
2 threads
Inform 7 ↗
A natural-language-style programming language for writing text adventures.
2 threads
Lean ↗
An interactive theorem prover and programming language used to formalize mathematical proofs.
2 threads
Lobster ↗
A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.
2 threads
Rust
A systems programming language with compile-time memory safety guarantees.
2 threads
AtomVM
A lightweight Erlang/Elixir virtual machine for microcontrollers.
1 thread
Catala
A programming language for translating legal statutes into executable code.
1 thread
Coalton
A statically typed functional language embedded in Common Lisp.
1 thread
Cuis Smalltalk ↗
A minimalist Smalltalk-80 derived environment with a vector-graphics rendering engine.
1 thread
Cython
A compiler that turns Python-like code into C extensions.
1 thread
Djot ↗
A light markup syntax by John MacFarlane derived from CommonMark with simpler parsing.
1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://github.com/facebookincubator/cinderx