Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
Repository Index
47,133 repositories indexed
217–240 of 2,436 · Most stars
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
Like Underscore, but lazier
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
WebAssembly System Interface
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
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
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
Lightweight Ruby
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.
: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
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
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.
The semver parser for node (the one npm uses)
- npm-cli
A better Python REPL
A utility library for JavaScript and TypeScript.
- typescript
- utility
- functional
- programming