Language
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
A superset of Lua 5.4 with a focus on general-purpose programming.
daslang - high-performance statically strong typed scripting language
*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Lean 4 programming language and theorem prover
A Lua bytecode compiler written in Lua itself for didactic purposes or for new language implementations
Probabilistic language based on pattern matching and constraint propagation, 153 examples
LYGIA, it's a granular and multi-language (GLSL, HLSL, Metal, WGSL, WEGL and CUDA) shader library designed for performance and flexibility
Public repository of the QuickJS Javascript Engine.
A high-level assembly language for writing homebrew software and games on retro console platforms.
A low footprint JavaScript engine for embedded systems
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
Single-file port of Lua, a powerful scripting language.
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 …
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
A modern, type-safe, header-only, C++14 wrapper for JNI