Repository Index

RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

• java
• rxjava
• flow
• reactive-streams

Emscripten: An LLVM-to-WebAssembly Compiler

• hacktoberfest
• emscripten
• wasm
• webassembly

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

• micropython
• python
• embedded
• microcontroller

⭐️ A friendly language for building type-safe, scalable systems!

• gleam
• programming-language
• compiler
• erlang

🚀 Fast and lightweight sandboxes for your apps and AI agents

• webassembly
• wasm
• wasi
• emscripten

A virtual machine for executing programs written in Hack.

• hhvm
• php
• hack
• hacklang

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

• language
• compiler
• metaprogramming
• macros

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

• python
• webassembly
• wasm
• emscripten

A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

• reactive
• distributed-systems
• concurrency
• high-performance

Cloud Native application framework for .NET

• actor-model
• distributed-actors
• distributed-systems
• cloud-computing

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason

.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework

• cefsharp
• c-sharp
• c-plus-plus
• wpf

Optimizer and compiler/toolchain library for WebAssembly

• emscripten
• webassembly
• compilers
• c-plus-plus

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

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

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.

• xamarin
• graphics
• dot-net
• ios

Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin

• grpc
• actor-model
• actors
• cross-platform

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

• regular-expression
• language
• regex
• compiler

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

• erlang
• golang
• elixir
• supervisor

EventMachine: fast, simple event-processing library for Ruby programs

The .NET library for ImageMagick

• image
• imagemagick
• convert
• resize

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖

• simd
• dataset
• string
• string-manipulation

A standard library for the client-side Web

• rust
• javascript
• web
• gui