BS::thread_pool: a fast, lightweight, modern, and easy-to-use C++17 / C++20 / C++23 thread pool library
- thread-pool
- threadpool
- multithreading
- cpp
Repository Index
73,862 visible repositories in the index
241–264 of 1,042 · Most stars
Rust bindings for Dear ImGui
- rust
- rust-library
- gui
- imgui
Deobfuscate obfuscator.io, unminify and unpack bundled javascript
- ast
- bundle
- debundle
- extract
It's a New Kind of Wrapper for Exposing LLVM (Safely)
- rust
- llvm
- safe
- wrapper
High-performance runtime for data analytics applications
- stanford
- data
- analytics
- machine-learning
OOP is better with stamps: Composable object factories.
- javascript
- oop
- stamps
- object-oriented
A streaming parser for HTML form data for node.js
Generate x86 Assembly with Go
- go
- golang
- assembly
- x86-64
Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
- cli
- ffi
- rust
- serde
Runtime TypeScript and ESM support for Node.js
A minimalist bytecode compiler for Node.js
The Espruino JavaScript interpreter - Official Repo
- espruino
- espruino-web-ide
- javascript
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
A project for generating C bindings from Rust code
Node.js & Bun bindings for Zed’s GPUI. Build memory efficient native apps with React or Solid.js
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
.NET for iOS, Mac Catalyst, macOS, and tvOS provide open-source bindings of the Apple SDKs for use with .NET managed languages such as C#
A tool to convert Swift code to Kotlin.
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Converts a string to a slug. Includes integrations for Symfony, Silex, Laravel, Zend Framework 2, Twig, Nette and Latte.
- php
- twig
- slugify
- symfony
Postmodern immutable and persistent data structures for C++ — value semantics at scale
- immutable
- data-structures
- modern-cpp
- cpp14
Beef Programming Language
- programming-language
- compiler
- ide
- beef-language
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
The missing Java distribution of native C++ libraries
- javacpp-presets
- java
- android
- native-libraries