aardappel / goose
The Goose Programming Language
aardappel / goose
rust-lang / rust
Empowering everyone to build reliable and efficient software.
oxc-project / tsrs
Rust port of the TypeScript 7 type checker
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
Cattmonkey / ChaosIntelligence
ζζΊθ½δ½ε½ε½ζ°οΌζζ³ζ³εζη¨εΊγAgent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
pingdotgg / ts-rust
An experimental Rust port of the TypeScript 7 compiler (tsc)
Effect-TS / effect
Build production-ready applications in TypeScript
Millillion / lasm
Lean for JavaScript and WebAssembly runtimes
modular / modular
The Modular Platform (includes MAX & Mojo)
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
Z3Prover / z3
The Z3 Theorem Prover
openjdk / jdk
JDK main-line development https://openjdk.org/projects/jdk
stencil-hq / dquickts
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
neurocyte / flow
Flow Control: a programmer's text editor
apple / swift-collections
Commonly used data structures for Swift
JuliaLang / julia
The Julia Programming Language
EgorBo / BlazingFastDotnet
Tips & tricks to tune .NET workloads for better perf (mostly, targeting benchmarks).
protocolbuffers / protobuf
Protocol Buffers - Google's data interchange format
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
rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
richiemcilroy / Tov
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.
swiftlang / swift
The Swift Programming Language
pyenv / pyenv
Simple Python version management
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).
marler8997 / anyzig
One zig to rule them all.
elixir-lang / elixir
Simple from zero to scale
CatalaLang / catala
Programming language for literate programming law specification
NyxFoundation / nyxis
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.
mrcjkb / rustaceanvim
π¦ Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
if-not-nil / revo
a dynamic language for the joy of programming
ThePrimeagen / refactoring.nvim
The Refactoring library based off the Refactoring book by Martin Fowler
argotorg / solidity
Solidity, the Smart Contract Programming Language
dotnet / roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
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
dotnet / dotnet
Home of .NET's Virtual Monolithic Repository which includes all the code needed to build the .NET SDK.
haskell / haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
rul-lang / rul
The Rul Programming Language For AI/SI Agents.
crystal-lang / crystal
The Crystal Programming Language
unisonweb / unison
A friendly programming language from the future
sbt / sbt
sbt, the interactive build tool
ruby / ruby
The Ruby Programming Language
commercialhaskell / stack
The Haskell Tool Stack
clojure-emacs / cider
The Clojure Interactive Development Environment that Rocks for Emacs
com-lihaoyi / mill
A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools
scalameta / metals
Scala language server with rich IDE features π
timholy / Revise.jl
Automatically update function definitions in a running Julia session
nim-lang / nimony
Nimony is a new Nim implementation that is in heavy development.
dart-lang / language
Design of the Dart language