RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
- java
- rxjava
- flow
- reactive-streams
Repository Index
47,133 repositories indexed
1–24 of 294 · Most stars
Adds static typing to JavaScript to improve developer productivity and code quality.
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
Write components once, run everywhere. Compiles to React, Vue, Qwik, Solid, Angular, Svelte, and more.
C++ Parallel Computing and Asynchronous Networking Framework
Relocate resource intensive third-party scripts off of the main thread and into a web worker. 🎉
- webworker
- 3rd-party
- 3rdparty
- web-worker
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
Python wrapper for TA-Lib (http://ta-lib.org/).
- ta-lib
- pattern-recognition
- python
- technical-analysis
🚀 gnet is a high-performance, lightweight, non-blocking, event-driven networking framework written in pure Go.
- event-driven
- event-loop
- networking
- non-blocking
Public repository of the QuickJS Javascript Engine.
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS / Ubuntu Touch / JavaScript / WebAssembly
- go
- gui-framework
- qt
- cross-platform-gui
Python SQL Parser and Transpiler
- transpiler
- sql
- python
- parser
Translated🔥 A network library that is easier to use than libevent/libuv/asio. A c/c++ network library for developing TCP/UDP/SSL/HTTP/WebSocket/MQTT/Redis client/server.
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
Public repository of the Micro QuickJS Javascript 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
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
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
A fast single-producer, single-consumer lock-free queue for C++
Promise queue with concurrency control
- queue
- queue-data-stucture
- async-functions
- async-queue