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
Repository Index
77,852 visible repositories in the index
49–72 of 416 · Most stars
Performance-portable, length-agnostic SIMD with runtime dispatch
- simd
- simd-instructions
- simd-programming
- intrinsics
Super-fast alternative to Babel for when you can target modern JS runtimes
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.
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
- lebab
- javascript
- compiler
- es2015
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
The Programming Language for Agents
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
mutate a copy of data without changing the original source
Esoteric Programming Language
A native TypeScript/JavaScript compiler written in Rust. Compiles TypeScript/JavaScript directly to executables using SWC and LLVM.
- compile
- smc
- typescript
- android
Reactive Extensions for the Go language.
- reactivex
- golang
- observable
- go
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
GNU toolchain for RISC-V, including GCC
Native, fast starting Clojure interpreter for scripting
- clojure
- shell-scripting
- bash
- graalvm
Gravity Programming Language
ZIO — A type-safe, composable library for async and concurrent programming in Scala
- effects
- concurrency
- asynchronicity
- functional-programming
A portable foreign-function interface library.
A Haskell library that simplifies access to remote data, such as databases or web-based services.