Trio – a friendly Python library for async concurrency and I/O
- python
- async
- async-await
- networking
Repository Index
47,133 repositories indexed
73–96 of 1,005 · Most stars
A fast type checker and language server for Python
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Annotations Docblock Parser
- hacktoberfest
Functional reactive programming library for TypeScript and JavaScript
Coroutine-based concurrency library for Python
- python
- coroutines
- greenlet
- asyncio
A fast, friendly, functional language.
- functional-language
- functional-programming
- language
- roc-lang
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
A Java to iOS Objective-C translation tool and runtime.
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
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.
Python for Windows (pywin32) Extensions
- python
- windows
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
: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
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
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Lightweight, modular, and extensible library for functional programming.
A utility library for JavaScript and TypeScript.
- typescript
- utility
- functional
- programming
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
The ESTree Spec
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.