Topic · programming-language

programming-language

Tracked open-source repos tagged programming-language, sorted by stars.

191 repos

#61
FStar ↗@FStarLangF*
A Proof-oriented Programming Language
★ 3,103+4Star change over the last 7 days
#62
jakt ↗@SerenityOSC++
The Jakt Programming Language
★ 2,988-1Star change over the last 7 days
#63
ispc ↗@ispcC++
Intel® Implicit SPMD Program Compiler
★ 2,950+0Star change over the last 7 days
#64
agda ↗@agdaHaskell
Agda is a dependently typed programming language / interactive theorem prover.
★ 2,922+3Star change over the last 7 days
#65
erg ↗@erg-langRust
A statically typed language compatible with Python
★ 2,859-1Star change over the last 7 days
#66
Beef ↗@beefytechC++
Beef Programming Language
★ 2,846+0Star change over the last 7 days
#67
Computer-Science-Resources ↗@the-akira
Collection of resources spanning key areas of Computer Science
★ 2,809+2Star change over the last 7 days
#68
awesome-tensor-compilers ↗@merrymercy
A list of awesome compiler projects and papers for tensor computation and deep learning.
★ 2,776+1Star change over the last 7 days
#69
flix ↗@flixFlix
The Flix Programming Language
★ 2,734+0Star change over the last 7 days
#70
zig-book ↗@pedropark99Zig
An open, technical and introductory book for the Zig programming language 📚📖
★ 2,687+3Star change over the last 7 days
#71
numbat ↗@sharkdpRust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
★ 2,675+4Star change over the last 7 days
#72
steel ↗@mattwparasRust
An embedded scheme interpreter in Rust
★ 2,564+7Star change over the last 7 days
#73
ACM-ICPC-Preparation ↗@BedirTC++
ACM-ICPC Preparation Guide
★ 2,500+2Star change over the last 7 days
#74
CS-Ebook ↗@lining808Python
一个高质量、经典计算机书籍推荐清单，特点为：只收集高质量，各方向经典书籍，不求书多，只求书精。
★ 2,443+0Star change over the last 7 days
#75
nelua-lang ↗@edubartLua
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
★ 2,416+0Star change over the last 7 days
#76
kcl ↗@kcl-langRust
KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io
★ 2,408+4Star change over the last 7 days
#77
moonbit-docs ↗@moonbitlangMoonBit
The docs of MoonBit programming language
★ 2,400+8Star change over the last 7 days
#78
CreepyCodeCollection ↗@MinhasKamalC
A Nonsense Collection of Disgusting Codes
★ 2,400-1Star change over the last 7 days
#79
catala ↗@CatalaLangOCaml
Programming language for literate programming law specification
★ 2,373+4Star change over the last 7 days
#80
rune ↗@rune-rsRust
An embeddable dynamic programming language for Rust.
★ 2,317+3Star change over the last 7 days
#81
nature ↗@nature-langC
The Nature Programming Language
★ 2,254+0Star change over the last 7 days
#82
dark ↗@darklangF#
Darklang main repo, including language, backend, and infra
★ 2,169+0Star change over the last 7 days
#83
awesome-games-of-coding ↗@michelpereira
A curated list of games that can teach you how to learn a programming language.
★ 2,149+0Star change over the last 7 days
#84
pocketpy ↗@pocketpyC
Portable Python 3.x Interpreter in Modern C for Game Scripting
★ 2,113+1Star change over the last 7 days
#85
umka-lang ↗@vtereshkovC
Umka: a statically typed embeddable scripting language
★ 2,098+5Star change over the last 7 days
#86
command-line-rust ↗@kyclarkRust
Code for Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417)
★ 2,025+0Star change over the last 7 days
#87
chapel ↗@chapel-langChapel
a Productive Parallel Programming Language
★ 2,020+1Star change over the last 7 days
#88
Vale ↗@ValeLangScala
Compiler for the Vale programming language - http://vale.dev/
★ 2,008+0Star change over the last 7 days
#89
fut ↗@fusionlanguageC++
Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.
★ 1,927+0Star change over the last 7 days
#90
lamdu ↗@lamduHaskell
lamdu - towards the next generation IDE
★ 1,899+0Star change over the last 7 days

← Back to topics