Empowering everyone to build reliable and efficient software.
Repository Index
72,862 visible repositories in the index
1–24 of 38 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
An incremental parsing system for programming tools
- incremental
- parsing
- c
- tree-sitter
🚀 Fast and lightweight sandboxes for your apps and AI agents
- webassembly
- wasm
- wasi
- emscripten
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Astrid is a portable, capability-secure operating system for composable software.
The programming language for agents
- llm
- boundaryml
- guardrails
- structured-data
LLRT (Low Latency Runtime) is an experimental, lightweight JavaScript runtime designed to address the growing demand for fast and efficient Serverless applications.
Tools for concurrent programming in Rust
- synchronization
- concurrency
- parallelism
- threads
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
An interpreter for Rust's mid-level intermediate representation
Light LDAP implementation
- authentication
- ldap
- opaque
- rust
Rust bindings for the C++ api of PyTorch.
Rust bindings for Godot 4
- game-development
- gamedev
- godot
- rust
Blazing fast concurrent HashMap for Rust.
- hashmap
- hashtable
- concurrent-programming
- concurrent
A standard library for the client-side Web
- rust
- javascript
- web
- gui
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
Graph-oriented live coding language and music/audio DSP library written in Rust
- rust
- audioworklet
- audio
- web-audio
Node.js & Bun bindings for Zed’s GPUI. Build memory efficient native apps with React or Solid.js
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
A correct and efficient TypeScript type checker and compiler with additional experiments
- compiler
- javascript
- typescript
- typechecker
A modern Prolog implementation written mostly in Rust.
- rust
- prolog
- prolog-interpreter
- prolog-implementation
KCL Language Core and API
- record
- configuration
- functional
- policy
A safe, easy systems language