GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
- java
- aot
- compiler
- graalvm
Repository Index
79,841 visible repositories in the index
1–16 of 16 · Most stars
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
This is Meta's fork of the CPython runtime. The name "cinder" here is historical, see https://github.com/facebookincubator/cinderx for the Python extension / JIT compiler.
- interpreter
- jit
- python
- compiler
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
A small, fast, native lisp with "magical" powers
Umka: a statically typed embeddable scripting language
- programming-language
- scripting-language
- compiler
- interpreter
Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
- cql
- clinical-quality-language
- cds
- java
A best-of-breed language with a holistic approach to moving the needle
A high-performance engine for matrix math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
The repository host gives no description.