This is a list of Open Source compilers, interpreters and programming language specifications (only the most starred repo per programming language).
# | name | stars | description |
---|---|---|---|
1 | golang/go | 74498 | The Go programming language |
2 | apple/swift | 52481 | The Swift Programming Language |
3 | JetBrains/kotlin | 32576 | The Kotlin Programming Language |
4 | python/cpython | 32479 | The Python programming language |
5 | ruby/ruby | 16999 | The Ruby Programming Language [mirror] |
6 | wenyan-lang/wenyan | 16110 | 文言文編程語言 A programming language for the ancient Chinese. |
7 | crystal-lang/crystal | 14988 | The Crystal Programming Language |
8 | taichi-dev/taichi | 11568 | Productive & portable programming language for high-performance, sparse & differentiable computing |
9 | nim-lang/Nim | 9638 | Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in that order of priority). |
10 | clojure/clojure | 8449 | The Clojure programming language |
11 | ethereum/solidity | 8068 | Solidity, the Contract-Oriented Programming Language |
12 | ziglang/zig | 6093 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. |
13 | lhartikk/ArnoldC | 6077 | Arnold Schwarzenegger based programming language |
14 | dotnet/csharplang | 5914 | The official repo for the design of the C# programming language |
15 | RockstarLang/rockstar | 5893 | The Rockstar programming language specification |
16 | rust-lang/book | 5574 | The Rust Programming Language |
17 | microsoft/BosqueLanguage | 5145 | The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle. |
18 | blei-lab/edward | 4525 | A probabilistic programming language in TensorFlow. Deep generative models, variational inference. |
19 | matz/streem | 4443 | prototype of stream based programming language |
20 | ponylang/ponyc | 4314 | 🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language |
21 | red/red | 4302 | Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single 1MB file! |
22 | wren-lang/wren | 4293 | The Wren Programming Language |
23 | elves/elvish | 3821 | Friendly Interactive Shell and Expressive Programming Language |
24 | apache/groovy | 3743 | Apache Groovy: A powerful multi-faceted programming language for the JVM platform |
25 | marcobambini/gravity | 3644 | Gravity Programming Language |
26 | alda-lang/alda | 3596 | A music programming language for musicians. 🎶 |
27 | enso-org/enso | 3545 | Hybrid visual and textual functional programming. |
28 | unisonweb/unison | 3313 | A friendly programming language from the future |
29 | supercollider/supercollider | 3240 | An audio server, programming language, and IDE for sound synthesis and algorithmic composition. |
30 | idris-lang/Idris-dev | 3218 | A Dependently Typed Functional Programming Language |
31 | goby-lang/goby | 3086 | Goby - Yet another programming language written in Go |
32 | evhub/coconut | 2936 | Simple, elegant, Pythonic functional programming. |
33 | hundredrabbits/Orca | 2723 | Esoteric Programming Language |
34 | microsoft/verona | 2682 | Research programming language for concurrent ownership |
35 | ballerina-platform/ballerina-lang | 2540 | The Ballerina Programming Language |
36 | tj/luna | 2453 | luna programming language - a small, elegant VM implemented in C |
37 | typelead/eta | 2421 | The Eta Programming Language, a dialect of Haskell on the JVM |
38 | mint-lang/mint | 2415 | 🍃 A refreshing programming language for the front-end web. |
39 | dlang/dmd | 2259 | dmd D Programming Language compiler |
40 | IoLanguage/io | 2183 | Io programming language. Inspired by Self, Smalltalk and LISP. |
41 | munificent/vigil | 2179 | Vigil, the eternal morally vigilant programming language |
42 | emojicode/emojicode | 2142 | 😀😜🔂 World’s only programming language that’s bursting with emojis |
43 | gkz/LiveScript | 2129 | LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming. |
44 | terralang/terra | 2074 | Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language. |
45 | osrg/gobgp | 1963 | BGP implemented in the Go Programming Language |
46 | p-org/P | 1947 | The P programming language. |
47 | skiplang/skip | 1567 | A programming language to skip the things you have already computed |
48 | beefytech/Beef | 1553 | Beef Programming Language |
49 | LuaDist/lua | 1318 | The Lua programming language with CMake based build |
50 | BSVino/JaiPrimer | 1313 | A description of Jonathan Blow's programming language, Jai |
51 | agda/agda | 1296 | Agda is a dependently typed programming language / interactive theorem prover. |
52 | diku-dk/futhark | 1287 | 💥💻💥 A data-parallel functional programming language |
53 | joaomilho/Enterprise | 1276 | 🦄 The Enterprise™ programming language |
54 | fetlang/fetlang | 1248 | Fetish-themed programming language |
55 | grame-cncm/faust | 1179 | Functional programming language for signal processing and sound synthesis |
56 | allwefantasy/mlsql | 1170 | The Programming Language Designed For Big Data and AI |
57 | LuxLang/lux | 1158 | The Lux Programming Language |
58 | albrow/fo | 1154 | An experimental language which adds functional programming features to Go. |
59 | NathanFlurry/VisualProgrammingLanguage | 1127 | Visual programming language written in Swift that assembles to executable Swift code. WWDC '18 scholarship submission. |
60 | odin-lang/Odin | 1127 | Odin Programming Language |
61 | dafny-lang/dafny | 1126 | Dafny is a verification-aware programming language |
62 | chapel-lang/chapel | 1111 | a Productive Parallel Programming Language |
63 | evanw/thinscript | 1091 | A low-level programming language inspired by TypeScript |
64 | kylestetz/slang | 1083 | 🎤 a simple audio programming language implemented in JS |
65 | kevinlawler/kona | 1076 | Open-source implementation of the K programming language |
66 | polarphp/polarphp | 1040 | The compiler and runtime of PHP programming language |
67 | soul-lang/SOUL | 975 | The SOUL programming language and API |
68 | svaksha/Julia.jl | 970 | Curated decibans of Julia programming language. |
69 | kitlang/kit | 955 | Kit: a magical, high performance programming language, designed for game development. Pre-alpha! |
70 | edwinb/Idris2-boot | 946 | A dependently typed programming language, a successor to Idris |
71 | aardappel/lobster | 933 | The Lobster Programming Language |
72 | jmoenig/Snap | 928 | a visual programming language inspired by Scratch |
73 | esseks/monicelli | 923 | An esoteric programming language, come se fosse antani. |
74 | factor/factor | 922 | Factor programming language |
75 | i2y/mochi | 902 | Dynamically typed functional programming language |
76 | vczh/tinymoe | 882 | English-like dynamic typing programming language |
77 | mirah/mirah | 862 | The Mirah Programming Language |
78 | ziutek/emgo | 850 | Emgo: Bare metal Go (language for programming embedded systems) |
79 | gambit/gambit | 839 | Gambit is an efficient implementation of the Scheme programming language. |
80 | 4Lang/4 | 835 | A completely emoji-based programming language |
81 | evincarofautumn/kitten | 810 | A statically typed concatenative systems programming language. |
82 | wuzhouhui/awk | 777 | The AWK Programming Language (AWK 程序设计语言, awkbook) 中文翻译, LaTeX 排版 |
83 | Naotonosato/Blawn | 770 | Pleasant Programming Language. |
84 | tarcieri/reia | 769 | Ruby-like hybrid OOP/functional programming language for BEAM, the Erlang VM |
85 | raptorjit/raptorjit | 761 | RaptorJIT: A dynamic language for system programming (LuaJIT fork) |
86 | joncatanio/cannoli | 754 | Cannoli Programming Language |
87 | u2zv1wx/neut | 749 | A dependently-typed programming language with compile-time malloc/free determination |
88 | egison/egison | 739 | The Egison Programming Language |
89 | bendc/uilang | 738 | A minimal, UI-focused programming language for web designers. |
90 | oden-lang/oden | 738 | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) |
91 | gocircuit/escher | 731 | Escher: A language for programming in metaphors http://escher.io |
92 | p2t2/figaro | 711 | Figaro Programming Language and Core Libraries |
93 | urweb/urweb | 676 | The Ur/Web programming language |
94 | boo-lang/boo | 668 | The Boo Programming Language. |
95 | carld/micro-lisp | 660 | 🎄A very small Lisp programming language 😀that used to be under 200 lines of C🎄 |
96 | ark-lang/ark | 649 | A compiled systems programming language written in Go using the LLVM framework |
97 | apple/swift-lldb | 644 | This is the version of LLDB that supports the Swift programming language & REPL. |
98 | idris-lang/Idris2 | 642 | A purely functional programming language with first class types |
99 | rhysd/gocaml | 633 | 🐫 Practical statically typed functional programming language implementation with Go and LLVM |
100 | AplaProject/go-apla | 632 | A blockchain platform with a simplified programming language |
101 | matijapretnar/eff | 631 | A functional programming language based on algebraic effect handlers |
102 | hamler-lang/hamler | 630 | Haskell-style functional programming language running on Erlang VM. |
103 | nickmqb/muon | 617 | Modern low-level programming language |
104 | felix-lang/felix | 564 | The Felix Programming Language |
105 | murarth/ketos | 556 | Lisp dialect scripting and extension language for Rust programs |
106 | c2lang/c2compiler | 555 | the c2 programming language |
107 | wmww/Pinecone | 544 | An unmaintained programming language |
108 | pharo-project/pharo | 530 | Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk. |
109 | albertodemichelis/squirrel | 527 | Official repository for the programming language Squirrel |
110 | alandipert/gherkin | 510 | a functional programming language and interpreter written in GNU Bash 4 |
111 | DennisMitchell/jellylanguage | 505 | Jelly is a recreational programming language inspired by J. |