rust-lang / rust
Empowering everyone to build reliable and efficient software.
rust-lang / rust
aardappel / goose
The Goose Programming Language
oxc-project / tsrs
Rust port of the TypeScript 7 type checker
python / cpython
The Python programming language
golang / go
The Go 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
indexable-inc / blaze
Incremental rust builds up to 92x faster than cargo/rustc
tokio-rs / tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
leanprover / lean4
Lean 4 programming language and theorem prover
pingdotgg / ts-rust
An experimental Rust port of the TypeScript 7 compiler (tsc)
Effect-TS / effect
Build production-ready applications in TypeScript
rust-lang / cargo
The Rust package manager
Z3Prover / z3
The Z3 Theorem Prover
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.
openjdk / jdk
JDK main-line development https://openjdk.org/projects/jdk
apple / swift-collections
Commonly used data structures for Swift
JetBrains / kotlin
The Kotlin Programming Language.
neurocyte / flow
Flow Control: a programmer's text editor
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
matz / spinel
Ruby AOT compiler
swiftlang / swift
The Swift Programming Language
JuliaLang / julia
The Julia Programming Language
protocolbuffers / protobuf
Protocol Buffers - Google's data interchange format
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.
roc-lang / roc
A fast, friendly, functional language.
dart-lang / sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
richiemcilroy / Tov
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.
zigtools / zls
A language server for Zig supporting developers with features like autocomplete and goto definition
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
pyenv / pyenv
Simple Python version management
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).
mrcjkb / rustaceanvim
🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
crystal-lang / crystal
The Crystal 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
carp-lang / Carp
A statically typed lisp, without a GC, for real-time applications.
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
vlang / vinix
Vinix is an effort to write a modern, fast, and useful operating system in the V programming language
CatalaLang / catala
Programming language for literate programming law specification
marler8997 / anyzig
One zig to rule them all.
elixir-lang / elixir
Simple from zero to scale
ThePrimeagen / refactoring.nvim
The Refactoring library based off the Refactoring book by Martin Fowler
if-not-nil / revo
a dynamic language for the joy of programming
dotnet / roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
erlang / otp
Erlang/OTP
unisonweb / unison
A friendly programming language from the future
sbt / sbt
sbt, the interactive build tool
haskell / haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
dotnet / dotnet
Home of .NET's Virtual Monolithic Repository which includes all the code needed to build the .NET SDK.
ruby / ruby
The Ruby Programming Language
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.
commercialhaskell / stack
The Haskell Tool Stack
clojure-emacs / cider
The Clojure Interactive Development Environment that Rocks for Emacs
dart-lang / language
Design of the Dart language
Perl / perl5
🐪 The Perl programming language
ocaml / dune
A composable build system for OCaml.
elixir-lsp / elixir-ls
A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
elixir-lsp / elixir_sense
Provides context-aware information for code completion, documentation, go/jump to definition, signature info and more