The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Repository Index
47,133 repositories indexed
1–24 of 60 · Most stars
The Modular Platform (includes MAX & Mojo)
The official mirror of the V8 Git repository
- javascript-engine
- virtual-machine
- compiler
- interpreter
A virtual machine for executing programs written in Hack.
- hhvm
- php
- hack
- hacklang
Convert Machine Learning Code Between Frameworks
- python
- tensorflow
- pytorch
- numpy
Open Machine Learning Compiler Framework
- compiler
- tensor
- deep-learning
- gpu
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
OpenCV wrapper for .NET
- opencv
- wrapper
- dotnet
- nuget
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
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
Low-latency machine code generation
- x86
- x86-64
- jit
- assembler
EventMachine: fast, simple event-processing library for Ruby programs
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
- java
- jvm
- eclipse-openj9
- compiler
TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
The Rubinius Language Platform
WebAssembly Virtual Machine
.NET for Apache® Spark™ makes Apache Spark™ easily accessible to .NET developers.
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
Functional programming style pattern-matching library for C++
- pattern-matching
- pattern
- variant
- visitor
[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
Rust virtual machine and JIT compiler for eBPF programs
- jit-compiler
- ebpf
- ebpf-programs
- rust