Most popular programming-language repositories and open source projects

gluon

A static, type inferred and embeddable language written in Rust.

150 3328 3328

RustBooks

List of Rust books

210 3224 3224

dmd

dmd D Programming Language compiler

650 3148 3148

artichoke

💎 Artichoke is a Ruby made with Rust

110 3123 3123

checkedc

Checked C is an extension to C that lets programmers write C code that...

195 3122 3122

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and...

172 2868 2868

erg

A statically typed language compatible with Python

57 2803 2803

jank

The native Clojure dialect hosted on LLVM with seamless C++ interop.

99 2779 2779

Beef

Beef Programming Language

142 2736 2736

P

The P programming language.

159 2725 2725

ispc

Intel® Implicit SPMD Program Compiler

335 2719 2719

awesome-tensor-compilers

A list of awesome compiler projects and papers for tensor computation...

315 2624 2624

Computer-Science-Resources

A list of resources in different fields of Computer Science

308 2616 2616

jakt

The Jakt Programming Language

241 2520 2520

flix

The Flix Programming Language

171 2440 2440

FStar

A Proof-oriented Programming Language

225 2419 2419

ACM-ICPC-Preparation

ACM-ICPC Preparation Guide

684 2312 2312

CreepyCodeCollection

A Nonsense Collection of Disgusting Codes

138 2297 2297

nelua-lang

Minimal, efficient, statically-typed and meta-programmable systems pro...

73 2256 2256

lean

Lean Theorem Prover

220 2106 2106

kcl

KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

145 2106 2106

agda

Agda is a dependently typed programming language / interactive theorem...

293 2092 2092

dark

Darklang main repo, including language, backend, and infra

112 2085 2085

dafny

Dafny is a verification-aware programming language

216 2052 2052

awesome-games-of-coding

A curated list of games that can teach you how to learn a programming...

91 1949 1949

steel

An embedded scheme interpreter in Rust

85 1914 1914

Vale

Compiler for the Vale programming language - http://vale.dev/

55 1912 1912

lamdu

lamdu - towards the next generation IDE

67 1824 1824

fut

Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaS...

59 1810 1810

command-line-rust

Code for Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417)

287 1806 1806

factor

Factor programming language

215 1737 1737

lux

The Lux Programming Language

54 1717 1717

clojerl

Clojure for the Erlang VM (unofficial)

42 1663 1663

awesome-made-by-brazilians

🇧🇷 A collection of amazing open source projects built by brazilian dev...

124 1654 1654

core

MetaCall: The ultimate polyglot programming experience.

183 1654 1654

golang-examples

Go(lang) examples - (explain the basics of #golang)

459 1624 1624

wa

The Wa Programming Language

63 1603 1603

pocketlang

A lightweight, fast embeddable scripting language.

79 1535 1535

unit

Next Generation Visual Programming System

30 1525 1525

fetlang

Fetish-themed programming language

35 1500 1500

ngs

Next Generation Shell (NGS)

45 1497 1497

anko

Scriptable interpreter written in golang

121 1494 1494

Julia.jl

Curated decibans of Julia programming language.

198 1456 1456

ElixirBooks

List of Elixir books

112 1454 1454

plutus

The Plutus language implementation and tools

445 1451 1451

Peregrine

A blazing fast language for the blazing fast world(WIP)

74 1449 1449

differential-datalog

DDlog is a programming language for incremental computation. It is wel...

124 1443 1443

List-All-Programming-Telegram-Group

List of All Programming Telegram Group

363 1406 1406

Snap

a visual programming language inspired by Scratch

715 1381 1381

ring

Simple and flexible programming language for applications development

434 1339 1339