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–24 of 31 · Most stars
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
- parsing
- parser-generator
- antlr
- antlr4
A virtual machine for executing programs written in Hack.
- hhvm
- php
- hack
- hacklang
Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.
- python-compiler
- python
- nuitka
- programming
TypeScript execution and REPL for node.js
⚡️ TypeScript Execute | The easiest way to run TypeScript in Node.js
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
Compile and execute C "scripts" in one go!
- cli
- tcc
- clang
- gcc
A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
- cpp
- multithreading
- fibers
- task-scheduler
A .NET library to parse and execute JavaScript code.
- javascript
- compiler
- library
Popular PHP library for serialized execution of critical code in concurrent situations
- lock
- mutex
- semaphore
- php
Execute WebAssembly from Elixir
- rust
- wasm
- elixir
- elixir-library
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
A modern supercompiler for call-by-value functional languages
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
- c
- durable-execution
- embeddable
- hibernation
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
Run WASM tests inside your browser
- chromedp
- wasm
- golang
- exec
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)
- vim-plugins
- vim-mypy
- vim
- mypy
Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file
- csharp
- dotnet
- csharp-script
- dotnet-exec
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3