73,862 visible repositories in the index
145–168 of 610 · Most stars
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
A high performance implementation of the Ruby programming language, built on GraalVM.
Gear-Lib, C library for IOT Embedded Multimedia and Network
JavaScript & TypeScript persistent and optionally immutable data tree with cursors.
A Proof-oriented Programming Language
A purely functional programming language with first class types
C/C++ server and network library, including coroutine,redis client,http/https/websocket,mqtt, mysql/postgresql/sqlite client with C/C++ for Linux, Android, iOS, MacOS, Windows, Harmony,etc..
Unofficial mirror of mob development branch
Pure C# IL Intepreter Runtime, which is fast and reliable for scripting requirement on enviorments, where jitting isn't possible.
BS::thread_pool: a fast, lightweight, modern, and easy-to-use C++17 / C++20 / C++23 thread pool library
Vigil, the eternal morally vigilant programming language
Graph-oriented live coding language and music/audio DSP library written in Rust
OOP is better with stamps: Composable object factories.
Production-ready C++ Asynchronous Framework with rich functionality
Agda is a dependently typed programming language / interactive theorem prover.
Node.js & Bun bindings for Zed’s GPUI. Build memory efficient native apps with React or Solid.js
An implementation of task/event based asynchronous pattern.
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.
Postmodern immutable and persistent data structures for C++ — value semantics at scale
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!
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Provides an engine that can compile and evaluate expressions
Functional extensions for C#
A Fast, Open Source JavaScript, Canvas & Audio Implementation for iOS