WebAssembly System Interface
- wasi
- http
- webassembly
- os
Repository Index
58,136 visible repositories in the index
289–312 of 2,555 · Most stars
Mirror of the LuaJIT git repository
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 framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
- plugin-system
- c
- cpp
- go
Rhai - An embedded scripting language for Rust.
- scripting-engine
- embedded-scripting-language
- scripting-language
- no-std
Making it easier to work with shaders
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
- typescript
- utility-types
- utilities
- static-typing
Native Node bindings to Git.
- libgit2
- javascript
- nodegit
- git
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
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Python for Windows (pywin32) Extensions
- python
- windows
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
- lebab
- javascript
- compiler
- es2015
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Bash Infinity is a modern standard library / framework / boilerplate for Bash
A tool to help migrate JavaScript code quickly and conveniently to TypeScript
- typescript
- javascript
- codemod
- migration
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
Extremely fast Vite-compatible web build tool written in Rust
- build-tool
- compiler
- rust
- hmr
A library and language for building parsers, interpreters, compilers, etc.
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
Rust bindings for the C++ api of PyTorch.
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
Node.js body parsing middleware
- javascript
- middleware
- expressjs
- nodejs