Most popular programming-language repositories and open source projects

gluon

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

139   2822   2822  

dmd

dmd D Programming Language compiler

618   2756   2756  

wasp

The fastest way to develop full-stack web apps with React & Node.js.

125   2734   2734  

P

The P programming language.

159   2725   2725  

jakt

The Jakt Programming Language

241   2520   2520  

awesome-ocaml

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

159   2422   2422  

FStar

A Proof-oriented Programming Language

225   2419   2419  

CreepyCodeCollection

A Nonsense Collection of Disgusting Codes

138   2297   2297  

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  

Computer-Science-Resources

A list of resources in different fields of Computer Science

278   2071   2071  

dafny

Dafny is a verification-aware programming language

216   2052   2052  

ACM-ICPC-Preparation

ACM-ICPC Preparation Guide

636   1827   1827  

lamdu

lamdu - towards the next generation IDE

67   1824   1824  

flix

The Flix Programming Language

123   1725   1725  

awesome-tensor-compilers

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

240   1639   1639  

awesome-games-of-coding

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

84   1632   1632  

clojerl

Clojure for the Erlang VM (unofficial)

37   1598   1598  

lux

The Lux Programming Language

52   1546   1546  

nelua-lang

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

48   1525   1525  

unit

Next Generation Visual Programming System

30   1525   1525  

cito

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

47   1504   1504  

Peregrine

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

74   1487   1487  

fetlang

Fetish-themed programming language

39   1463   1463  

golang-examples

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

446   1460   1460  

plutus

The Plutus language implementation and tools

445   1451   1451  

pocketlang

A lightweight, fast embeddable scripting language.

74   1442   1442  

awesome-made-by-brazilians

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

110   1431   1431  

factor

Factor programming language

175   1422   1422  

Snap

a visual programming language inspired by Scratch

715   1381   1381  

dark

Darklang main repo, including language, backend, and infra

86   1376   1376  

Julia.jl

Curated decibans of Julia programming language.

199   1337   1337  

anko

Scriptable interpreter written in golang

121   1325   1325  

core

MetaCall: The ultimate polyglot programming experience.

135   1303   1303  

ElixirBooks

List of Elixir books

105   1289   1289  

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  

naml

Convert Kubernetes YAML to Golang

34   1210   1210  

List-All-Programming-Telegram-Group

List of All Programming Telegram Group

359   1192   1192  

rune

An embeddable dynamic programming language for Rust.

54   1191   1191  

slang

🎤 a simple audio programming language implemented in JS

34   1166   1166  

jank

A Clojure dialect hosted on LLVM with native C++ interop

23   1116   1116  

ring

Simple and flexible programming language for applications development

424   1108   1108  

asciidots

Esolang inspired by ASCII art

37   1078   1078  

SATySFi

A statically-typed, functional typesetting system

80   1068   1068  

OneLang

77   1058   1058