Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
Repository Index
77,852 visible repositories in the index
193–216 of 1,937 · Most stars
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
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
Compiler for the C3 language
Zero-cost asynchronous programming in Rust
- async-foundations
Super-fast alternative to Babel for when you can target modern JS runtimes
HCL is the HashiCorp configuration language.
- hcl
- configuration-language
- hashicorp
- json
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 framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
- plugin-system
- c
- cpp
- go
Making it easier to work with shaders
Rhai - An embedded scripting language for Rust.
- scripting-engine
- embedded-scripting-language
- scripting-language
- no-std
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
- typescript
- utility-types
- utilities
- static-typing
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
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
Bash Infinity is a modern standard library / framework / boilerplate for Bash
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
A library and language for building parsers, interpreters, compilers, etc.
: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
Rust bindings for the C++ api of PyTorch.