Repository Index

An incremental parsing system for programming tools

• incremental
• parsing
• c
• tree-sitter

⭐️ A friendly language for building type-safe, scalable systems!

• gleam
• programming-language
• compiler
• erlang

The programming language for agents

• llm
• boundaryml
• guardrails
• structured-data

Tools for concurrent programming in Rust

• synchronization
• concurrency
• parallelism
• threads

Zero-cost asynchronous programming in Rust

• async-foundations

💎 Amber the programming language compiled to Bash/Ksh/Zsh

• bash-scripting
• bash
• compilers
• hacktoberfest

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

• programming-language
• zero-knowledge
• compiler
• zksnarks

Borgo is a statically typed language that compiles to Go.

• compiler
• golang
• programming-language
• rust-lang

Blazing fast concurrent HashMap for Rust.

• hashmap
• hashtable
• concurrent-programming
• concurrent

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

• compiler-backend
• async
• cuda
• gpu

A static, type inferred and embeddable language written in Rust.

• rust
• repl
• programming-language
• type-inference

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

• compiler
• rust
• shaders
• spirv

a dialect of The Monkey Programming Language

Graph-oriented live coding language and music/audio DSP library written in Rust

• rust
• audioworklet
• audio
• web-audio

A statically typed language compatible with Python

• compiler
• programming-language
• python
• rust

A statically typed programming language for scientific computations with first class support for physical dimensions and units

• calculator
• physics
• programming-language
• statically-typed

An embedded scheme interpreter in Rust

• rust
• racket
• transducers
• scripting-language

A modern Prolog implementation written mostly in Rust.

• rust
• prolog
• prolog-interpreter
• prolog-implementation

KCL Language Core and API

• record
• configuration
• functional
• policy

An embeddable dynamic programming language for Rust.

• programming-language
• scripting
• embedded

A tacit array programming language

• apl
• array-programming
• rust
• tacit

A programming language for AI orchestrations

Cairo is the first Turing-complete language for creating provable programs for general computation.

• starknet
• zero-knowledge-proofs
• zkp
• computational-integrity

Crush is a command line shell that is also a powerful modern programming language.