Most popular programming-language repositories and open source projects

artichoke

💎 Artichoke is a Ruby made with Rust

111   2909   2909  

awesome-ocaml

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

172   2868   2868  

gluon

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

139   2822   2822  

dmd

dmd D Programming Language compiler

618   2756   2756  

P

The P programming language.

159   2725   2725  

Computer-Science-Resources

A list of resources in different fields of Computer Science

308   2568   2568  

awesome-tensor-compilers

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

310   2528   2528  

jakt

The Jakt Programming Language

241   2520   2520  

FStar

A Proof-oriented Programming Language

225   2419   2419  

jank

The native Clojure dialect hosted on LLVM

79   2386   2386  

CreepyCodeCollection

A Nonsense Collection of Disgusting Codes

138   2297   2297  

ACM-ICPC-Preparation

ACM-ICPC Preparation Guide

682   2243   2243  

ispc

Intel® Implicit SPMD Program Compiler

286   2213   2213  

Beef

Beef Programming Language

119   2208   2208  

erg

A statically typed language that can deeply improve the Python ecosyst...

47   2179   2179  

lean

Lean Theorem Prover

220   2106   2106  

agda

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

293   2092   2092  

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  

lamdu

lamdu - towards the next generation IDE

67   1824   1824  

flix

The Flix Programming Language

123   1725   1725  

lux

The Lux Programming Language

53   1691   1691  

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  

golang-examples

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

457   1596   1596  

unit

Next Generation Visual Programming System

30   1525   1525  

nelua-lang

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

48   1525   1525  

cito

Ć programming language. Transpiling to C, C++, C#, D, Java, JavaScript...

47   1504   1504  

anko

Scriptable interpreter written in golang

121   1494   1494  

Peregrine

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

74   1487   1487  

fetlang

Fetish-themed programming language

39   1463   1463  

Julia.jl

Curated decibans of Julia programming language.

198   1456   1456  

plutus

The Plutus language implementation and tools

445   1451   1451  

pocketlang

A lightweight, fast embeddable scripting language.

74   1442   1442  

ElixirBooks

List of Elixir books

113   1429   1429  

factor

Factor programming language

175   1422   1422  

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  

dark

Darklang main repo, including language, backend, and infra

86   1376   1376  

ring

Simple and flexible programming language for applications development

433   1303   1303  

core

MetaCall: The ultimate polyglot programming experience.

135   1303   1303  

naml

Convert Kubernetes YAML to Golang

37   1258   1258  

differential-datalog

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

108   1257   1257  

Vale

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

42   1226   1226  

ngs

Next Generation Shell (NGS)

41   1213   1213  

rune

An embeddable dynamic programming language for Rust.

54   1191   1191  

slang

🎤 a simple audio programming language implemented in JS

34   1166   1166  

OneLang

85   1131   1131  

kitten

A statically typed concatenative systems programming language.

40   1111   1111  

AI-Programmer

Using artificial intelligence and genetic algorithms to automatically...

265   1091   1091