Repository Index

Vigil, the eternal morally vigilant programming language

Better configuration for less

• nix
• configuration-language
• configuration
• infrastructure

An LLVM/Clang/LLD based mingw-w64 toolchain

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

• rust
• audioworklet
• audio
• web-audio

The compiler for Teal, a typed dialect of Lua

• teal
• lua
• compiler
• type-checking

High-performance runtime for data analytics applications

• stanford
• data
• analytics
• machine-learning

Production-ready C++ Asynchronous Framework with rich functionality

• async
• asynchronous
• coroutines
• database-access

The repository host gives no description.

KLEE Symbolic Execution Engine

• symbolic-execution
• klee

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

The Jakt Programming Language

• programming-language
• jakt
• serenityos

Intel® Implicit SPMD Program Compiler

• ispc
• programming-language
• compiler
• intel

🪄 Magical GraphQL query engine for TypeScript

• graphql
• typescript

GCC Front-End for Rust

• gcc
• gcc-rust
• rust
• rust-lang

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

SDL2 bindings for Rust

🐹🕸️ WebAssembly runtime for Go

• webassembly
• golang
• wasm
• rust

Node.js & Bun bindings for Zed’s GPUI. Build memory efficient native apps with React or Solid.js

• gpui
• zed
• react
• solid

High level Lua 5.5/5.4/5.3/5.2/5.1 (including LuaJIT) and Luau bindings to Rust with async/await support

• rust
• rust-bindings
• lua
• luajit

Run multiple promise-returning & async functions with limited concurrency

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.