📦✨ your favorite rust -> wasm workflow tool!
Repository Index
47,133 repositories indexed
49–72 of 677 · Most stars
A polyfill for ES6-style Promises
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Powerful scripting language & versatile interactive shell
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
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
Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
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
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.
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
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
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
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
- lwjgl
- kotlin
- opengl
- opencl
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
- sol
- lua
- lua-bindings
- lua-binding
Canonical actor model implementation for .NET with local + distributed actors in C# and F#.
- akka
- actor-model
- dotnet
- concurrency
A minimalistic ClojureScript interface to React.js
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
The missing bridge between Java and native C++
- javacpp
- java
- c
- cpp