Cross-platform asynchronous I/O
- asynchronous
- io
- networking
- unix
Repository Index
47,133 repositories indexed
1–24 of 270 · Most stars
Simple from zero to scale
The official mirror of the V8 Git repository
- javascript-engine
- virtual-machine
- compiler
- interpreter
Reactive Programming in Swift
- swift
- reactivex
- reactive
- ios
Development repository for the Triton language and compiler
:bird: :zap: Bluebird is a full featured promise library with unmatched performance.
A virtual machine for executing programs written in Hack.
- hhvm
- php
- hack
- hacklang
Optimizing compiler for React
- hacktoberfest
- million
- millionjs
- virtual-dom
Open Machine Learning Compiler Framework
- compiler
- tensor
- deep-learning
- gpu
Relocate resource intensive third-party scripts off of the main thread and into a web worker. 🎉
- webworker
- 3rd-party
- 3rdparty
- web-worker
A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.
- reactive
- distributed-systems
- concurrency
- high-performance
The repository host gives no description.
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
Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.
🚀 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.
Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
- concurrency
- ruby
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
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
Safe Rust bridge for creating Erlang NIF functions
- erlang
- nif
- elixir
- ffi
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
[Mirror] A linter for prose.
- linter
- prose
- writer
- advice