Programming language

Steel is an embeddable Scheme interpreter written in Rust that implements a bytecode virtual machine with R5RS compliance and module system support....

Odin is a general-purpose, statically-typed programming language designed for systems programming with a focus on data-oriented design and high...

Lisette is a statically-typed programming language inspired by Rust that compiles to Go, combining Rust's safety features (Hindley-Milner type...

Rue is an experimental systems programming language implemented in Rust that aims to occupy a middle ground between Rust's low-level control and Go's...

Rune is an embeddable dynamic programming language for Rust, designed to enable scripting capabilities within Rust applications through a stack-based...

Luau is a fast, embeddable scripting language derived from Lua with gradual type annotations and a sophisticated type inference system, designed for...

Neva is a statically typed, compiled dataflow programming language that emphasizes parallelism by default and supports both textual and visual...

The Go programming language is an open source, statically typed, compiled language developed by Google, designed for building simple, reliable, and...

SuperCollider is a comprehensive platform for audio synthesis, sound processing, and algorithmic composition comprising a real-time audio server...

Carbon Language is an experimental successor to C++ designed to address C++'s technical debt while maintaining performance parity and seamless...

Apache Groovy is a multi-faceted JVM programming language that combines dynamic and static typing, functional programming, and metaprogramming...

Leo is a statically-typed programming language designed specifically for building private applications using zero-knowledge proofs, compiling to...

Imba is a full-stack programming language that compiles to JavaScript with integrated DOM, styling, and backend capabilities. It serves developers...

BAML is a statically-typed programming language designed specifically for building AI agents, with features like runtime type persistence, typed...

Noir is a domain-specific language for writing zero-knowledge proof circuits, designed to work with any ACIR-compatible proving system. It serves...

The Modular Platform is a unified suite for AI development and deployment, featuring MAX (a model serving framework) and Mojo (a systems programming...

cloc is a specialized tool for counting blank lines, comment lines, and physical lines of source code across many programming languages. It serves...

KCL is a constraint-based record and functional programming language designed for generating and validating complex cloud-native configurations...

Fusion is a transpiling language that enables developers to write reusable libraries in a single codebase and compile them to C, C++, C#, D, Java,...

ISPC is a compiler for a C-based SPMD (Single Program, Multiple Data) language that generates optimized SIMD code for CPUs and GPUs, enabling 3-6x...

Jank is a Clojure dialect compiled to native code via LLVM with seamless C++ interop, targeting developers who need Clojure's functional programming...

A curated collection of Go language examples organized by difficulty level (beginner to advanced) designed to teach Go fundamentals. It includes an...

Inko is a compiled programming language designed specifically for building concurrent software with deterministic memory management, move semantics,...

Orca is an esoteric programming language designed for live coding procedural sequencers, where each letter represents an operation that executes...

The Dart SDK is a complete, production-grade language implementation including VM, compilers (JIT/AOT for native platforms, transpilers for...

Ultimate Python is a comprehensive, hands-on study guide for learning core Python concepts using only built-in libraries, designed for both newcomers...

DMD is the reference compiler for the D programming language, a statically-typed systems programming language designed for performance and...

Julia is a high-level, high-performance dynamic programming language designed for technical computing, numerical analysis, and scientific...

Pkl is a configuration-as-code language designed for writing and validating configuration files with rich type checking and tooling support. It fills...

Kotlin is a statically-typed, multiplatform programming language developed and maintained by JetBrains, designed to compile to JVM bytecode,...