Repository Index

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

• functional-programming
• kotlin-library
• monads
• functional-data-structure

wazero: the zero dependency WebAssembly runtime for Go developers

• golang
• go
• wasm
• wasi

🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️

• css
• styled-system
• typescript
• utility-classes

Public repository of the Micro QuickJS Javascript Engine

WebAssembly Micro Runtime (WAMR)

• wasm
• runtime
• interpreter
• aot

vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.

• javaslang
• java
• functional-programming
• object-functional

Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

• javaparser
• parser
• java
• javadoc

OpenCV wrapper for .NET

• opencv
• wrapper
• dotnet
• nuget

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

• compiler
• native
• gui
• reactive-programming

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

• parser
• parsing-library
• parser-library
• parsing-engine

Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.

• java
• thread-pool
• dynamic
• monitor

JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern

• sql
• java
• parser
• ast

Performance-portable, length-agnostic SIMD with runtime dispatch

• simd
• simd-instructions
• simd-programming
• intrinsics

A music programming language for musicians. :notes:

• music
• programming-language
• music-programming-language
• music-composition

WebAssembly System Interface

• wasi
• http
• webassembly
• os

Mirror of the LuaJIT git repository

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

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

Making it easier to work with shaders

• shaders
• hlsl
• glsl
• d3d12

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.

• xamarin
• graphics
• dot-net
• ios

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