The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Repository Index
47,133 repositories indexed
1–24 of 107 · 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
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
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
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
Confluent's Apache Kafka Golang client
- confluent
- golang
- golang-library
- golang-bindings
A compiler for the Mustache templating language
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
Low-latency machine code generation
- x86
- x86-64
- jit
- assembler
CircuitPython - a Python implementation for teaching coding with microcontrollers
Computing with Python functions.
- python
- parallel-computing
- caching
- multiprocessing
Bison in JavaScript.
EventMachine: fast, simple event-processing library for Ruby programs
A fast, powerful, safe and lightweight scripting language and engine for .NET
- templating
- templating-language
- templating-engine
- handlebars
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
- parser
- earley-algorithm
- earley-parser
- javascript
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python