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.
Repository Index
47,133 repositories indexed
73–96 of 798 · Most stars
Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
A polyfill for ES6-style Promises
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
Functional reactive programming library for TypeScript and JavaScript
High performance, maintainable stylesheets.
Duktape - embeddable Javascript engine with a focus on portability and compact footprint
- javascript-engine
- javascript
- duktape
OpenCV wrapper for .NET
- opencv
- wrapper
- dotnet
- nuget
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
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
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
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
: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
Lightweight, modular, and extensible library for functional programming.
A utility library for JavaScript and TypeScript.
- typescript
- utility
- functional
- programming
The ESTree Spec
The Elegant Parser
- peg
- rust
- parsing
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