GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
- java
- aot
- compiler
- graalvm
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
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
Run ARM64 Linux userspace and desktop applications on iPhone and iPad.
- arm64
- debian
- interpreter
- ios
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 Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
The repository host gives no description.