programming-language

topics / programming-language

Languages

Repos

RankRepoStarsLanguageDeveloper
JetBrains/kotlin on Github1kotlin43,239KotlinJetBrains
carbon-language/carbon-lang on Github2carbon-lang28,946C++carbon-language
wenyan-lang/wenyan on Github3wenyan18,580TypeScriptwenyan-lang
AlDanial/cloc on Github4cloc15,154PerlAlDanial
witheve/Eve on Github5Eve7,097TypeScriptwitheve
imba/imba on Github6imba5,880JavaScriptimba
alda-lang/alda on Github7alda5,206Goalda-lang
unisonweb/unison on Github8unison4,810Haskellunisonweb
DulLabs/bhai-lang on Github9bhai-lang3,568TypeScriptDulLabs
appcypher/awesome-wasm-langs on Github10awesome-wasm-langs3,555unknownappcypher
google/wuffs on Github11wuffs3,255Cgoogle
emojicode/emojicode on Github12emojicode2,960Cemojicode
null/null on Github13
gluon-lang/gluon on Github14gluon2,717Rustgluon-lang
dlang/dmd on Github15dmd2,685Ddlang
p-org/P on Github16P2,618C#p-org
FStarLang/FStar on Github17FStar2,333F*FStarLang
beefytech/Beef on Github18Beef2,134C++beefytech
ispc/ispc on Github19ispc2,123C++ispc
leanprover/lean on Github20lean2,082C++leanprover
agda/agda on Github21agda1,986Haskellagda
lamdu/lamdu on Github22lamdu1,802Haskelllamdu
BedirT/ACM-ICPC-Preparation on Github23ACM-ICPC-Preparation1,744PythonBedirT
clojerl/clojerl on Github24clojerl1,566Erlangclojerl
LuxLang/lux on Github25lux1,491ClojureLuxLang
input-output-hk/plutus on Github26plutus1,421Haskellinput-output-hk
ThakeeNathees/pocketlang on Github27pocketlang1,395CThakeeNathees
factor/factor on Github28factor1,368Factorfactor
edubart/nelua-lang on Github29nelua-lang1,289Luaedubart
svaksha/Julia.jl on Github30Julia.jl1,283Juliasvaksha
darklang/dark on Github31dark1,189ReScriptdarklang
hendisantika/List-All-Programming-Telegram-Group on Github32List-All-Programming-Telegram-Group1,100Crystalhendisantika
rune-rs/rune on Github33rune1,079Rustrune-rs
ValeLang/Vale on Github34Vale1,038ScalaValeLang
evincarofautumn/kitten on Github35kitten1,007Haskellevincarofautumn
vrtbl/passerine on Github36passerine994Rustvrtbl
hamler-lang/hamler on Github37hamler991Erlanghamler-lang
egison/egison on Github38egison859Haskellegison
CakeML/cakeml on Github39cakeml781Standard MLCakeML
stevedonovan/gentle-intro on Github40gentle-intro775Ruststevedonovan
astrolang/astro on Github41astro663Rustastrolang
artagnon/rhine-ml on Github42rhine-ml629OCamlartagnon
ehsanmok/create-your-own-lang-with-rust on Github43create-your-own-lang-with-rust562Rustehsanmok
cotowali/cotowali on Github44cotowali548Vcotowali
slovnicki/pLam on Github45pLam423Haskellslovnicki
eashanhatti/peridot on Github46peridot389Haskelleashanhatti
zeroflag/punyforth on Github47punyforth384Forthzeroflag
rntz/datafun on Github48datafun347TeXrntz
anoma/juvix on Github49juvix345Haskellanoma
kspalaiologos/malbolge-lisp on Github50malbolge-lisp339TeXkspalaiologos
suhdonghwi/nuri on Github51nuri325Haskellsuhdonghwi
cedille/cedille on Github52cedille321Agdacedille
kfl/mosml on Github53mosml318Standard MLkfl
pirapira/bamboo on Github54bamboo315OCamlpirapira
Shen-Language/shen-sources on Github55shen-sources305ShenShen-Language
potigol/potigol on Github56potigol221Scalapotigol
jameshaydon/lawvere on Github57lawvere215Haskelljameshaydon
fika-lang/fika on Github58fika214Elixirfika-lang
KarolS/millfork on Github59millfork212ScalaKarolS
Vexu/bog on Github60bog197ZigVexu
mattam82/Coq-Equations on Github61Coq-Equations192Coqmattam82
Drahflow/Elymas on Github62Elymas186PerlDrahflow
morloc-project/morloc on Github63morloc186Haskellmorloc-project
nim-works/nimskull on Github64nimskull174Nimnim-works
Ezhil-Language-Foundation/Ezhil-Lang on Github65Ezhil-Lang161RoffEzhil-Language-Foundation
ditto/ditto on Github66ditto160Haskellditto
fanx-dev/fanx on Github67fanx159Fantomfanx-dev
dschmenk/PLASMA on Github68PLASMA158Assemblydschmenk
kmyk-jikka/Jikka on Github69Jikka144Haskellkmyk-jikka
disco-lang/disco on Github70disco132Haskelldisco-lang
savi-lang/savi on Github71savi131Crystalsavi-lang
smudgelang/smudge on Github72smudge127Haskellsmudgelang
MasterQ32/LoLa on Github73LoLa126ZigMasterQ32
FreakC-Foundation/FreakC on Github74FreakC125BatchfileFreakC-Foundation
lboasso/oberonc on Github75oberonc119Modula-2lboasso
trizen/sidef on Github76sidef109Perltrizen
phreda4/r4 on Github77r4105Forthphreda4
ilya-klyuchnikov/lambdapi on Github78lambdapi103Haskellilya-klyuchnikov
Motevakel/HelloWorlds on Github79HelloWorlds101AssemblyMotevakel
newspeaklanguage/newspeak on Github80newspeak99Smalltalknewspeaklanguage
chessai/theseus on Github81theseus97Haskellchessai
nicolas-p/skov on Github82skov96Factornicolas-p
yutopp/rill on Github83rill95OCamlyutopp
sin-ack/zigself on Github84zigself94Zigsin-ack
kit-ty-kate/labrys on Github85labrys94OCamlkit-ty-kate
nielsAD/lape on Github86lape84PascalnielsAD
burkesquires/python_biologist on Github87python_biologist86OpenEdge ABLburkesquires
narke/colorForth on Github88colorForth73Assemblynarke
Snektron/pareas on Github89pareas67FutharkSnektron
OpenEuphoria/euphoria on Github90euphoria56EuphoriaOpenEuphoria
til-lang/til on Github91til52Dtil-lang
Glow-Lang/glow on Github92glow52SchemeGlow-Lang
snekkylang/snekky on Github93snekky43Haxesnekkylang
felixangell/kpd on Github94kpd41Dfelixangell
rmacnak/primordialsoup on Github95primordialsoup40Smalltalkrmacnak
nguyenphuminh/HelloWorld on Github96HelloWorld37Assemblynguyenphuminh
nikodemus/foolang on Github97foolang33Smalltalknikodemus
ltkk/tai-lieu-lap-trinh on Github98tai-lieu-lap-trinh33TSQLltkk
Florian3k/fayrant-lang on Github99fayrant-lang29CrystalFlorian3k
mykolav/coollang-2020-fs on Github100coollang-2020-fs28F#mykolav