A General-purpose Task-parallel Programming System in C++
- parallel-programming
- threadpool
- concurrent-programming
- high-performance-computing
Repository Index
86,576 visible repositories in the index
49–72 of 1,030 · Most stars
A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
Functional programming in TypeScript
- typescript
- functional-programming
- algebraic-data-types
An asynchronous event driven PHP socket framework. Supports HTTP, Websocket, SSL and other custom protocols.
- websocket
- timer
- socket
- event-driven
Mono open source ECMA CLI, C# and .NET implementation.
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
🚀 gnet is a high-performance, lightweight, non-blocking, event-driven networking framework written in pure Go.
- event-driven
- event-loop
- networking
- non-blocking
NumPy aware dynamic Python compiler using LLVM
The Clojure programming language
Cloud Native application framework for .NET
- actor-model
- distributed-actors
- distributed-systems
- cloud-computing
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 bindings for llama.cpp
Rust parser combinator framework
- rust
- parse
- parser-combinators
- nom
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework
- cefsharp
- c-sharp
- c-plus-plus
- wpf
xLua is a lua programming solution for C# ( Unity, .Net, Mono) , it supports android, ios, windows, linux, osx, etc.
Modern embedded framework, using Rust and async.
- async
- embedded
- executor
- rust
Lean 4 programming language and theorem prover
- lean4
- lean
The programming language for agents
- llm
- boundaryml
- guardrails
- structured-data
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
- data-science
- goplus
- scientific-computing
- stem-education
High performance server-side application framework
- c-plus-plus
- seastar
- dpdk
- async
Actor framework for Rust.
- rust
- actor
- actor-model
- actix
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels