aardappel / goose
The Goose Programming Language
aardappel / goose
rust-lang / rust
Empowering everyone to build reliable and efficient software.
indexable-inc / blaze
Incremental rust builds up to 92x faster than cargo/rustc
python / cpython
The Python programming language
bendlang / bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
golang / go
The Go programming language
leanprover / lean4
Lean 4 programming language and theorem prover
Millillion / lasm
Lean for JavaScript and WebAssembly runtimes
vlang / v
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
neurocyte / flow
Flow Control: a programmer's text editor
JuliaLang / julia
The Julia Programming Language
JetBrains / kotlin
The Kotlin Programming Language.
roc-lang / roc
A fast, friendly, functional language.
zigtools / zls
A language server for Zig supporting developers with features like autocomplete and goto definition
richiemcilroy / Tov
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.
swiftlang / swift
The Swift Programming Language
dart-lang / sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
vlang / vinix
Vinix is an effort to write a modern, fast, and useful operating system in the V programming language
matz / spinel
Ruby AOT compiler
SalamLang / Salam
Salam is a general-purpose and systems programming language designed for efficient software development, featuring a built-in domain-specific language. https://www.salamlang.ir
nim-lang / Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
elixir-lang / elixir
Simple from zero to scale
CatalaLang / catala
Programming language for literate programming law specification
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
if-not-nil / revo
a dynamic language for the joy of programming
argotorg / solidity
Solidity, the Smart Contract Programming Language
scala / scala
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
erlang / otp
Erlang/OTP
crystal-lang / crystal
The Crystal Programming Language
unisonweb / unison
A friendly programming language from the future
ruby / ruby
The Ruby Programming Language
nim-lang / nimony
Nimony is a new Nim implementation that is in heavy development.
dart-lang / language
Design of the Dart language
publicodes / publicodes
Le langage pour les algorithmes d'intérêt public
adityav4213 / python
A collection of Python scripts and example programs for learning and practicing core Python concepts.
ziglang / zig
Moved to Codeberg
Perl / perl5
🐪 The Perl programming language