😀😜🔂 World’s only programming language that’s bursting with emojis
Checked C is an extension to C that lets programmers write C code that i...
A static, type inferred and embeddable language written in Rust.
💎 Artichoke is a Ruby made with Rust
The P programming language.
dmd D Programming Language compiler
Dafny is a verification-aware programming language
The Jakt Programming Language
A curated collection of awesome OCaml tools, frameworks, libraries and a...
Next Generation Visual Programming System
Home of CodeT5: Open Code LLMs for Code Understanding and Generation
A statically typed language compatible with Python
A Proof-oriented Programming Language
Intel® Implicit SPMD Program Compiler
Agda is a dependently typed programming language / interactive theorem p...