Sujet · programming-language

programming-language

Dépôts open source suivis étiquetés programming-language, triés par étoiles.

191 dépôts

#61
FStar ↗@FStarLangF*
Langage de programmation orienté preuve.
★ 3 103+4Évolution des étoiles sur les 7 derniers jours
#62
jakt ↗@SerenityOSC++
Le langage de programmation Jakt.
★ 2 988-1Évolution des étoiles sur les 7 derniers jours
#63
ispc ↗@ispcC++
Compilateur de programmes SPMD implicites Intel®.
★ 2 950+0Évolution des étoiles sur les 7 derniers jours
#64
agda ↗@agdaHaskell
Agda est un langage de programmation à typage dépendant et un assistant de preuve interactif.
★ 2 922+3Évolution des étoiles sur les 7 derniers jours
#65
erg ↗@erg-langRust
Un langage à typage statique compatible avec Python
★ 2 859-1Évolution des étoiles sur les 7 derniers jours
#66
Beef ↗@beefytechC++
Langage de programmation Beef
★ 2 846+0Évolution des étoiles sur les 7 derniers jours
#67
Computer-Science-Resources ↗@the-akira
Collection de ressources couvrant les domaines clés de l'informatique
★ 2 809+2Évolution des étoiles sur les 7 derniers jours
#68
awesome-tensor-compilers ↗@merrymercy
Une liste de projets et d'articles de référence sur les compilateurs pour le calcul tensoriel et l'apprentissage profond
★ 2 776+1Évolution des étoiles sur les 7 derniers jours
#69
flix ↗@flixFlix
Le langage de programmation Flix
★ 2 734+0Évolution des étoiles sur les 7 derniers jours
#70
zig-book ↗@pedropark99Zig
Un livre technique d'introduction au langage de programmation Zig
★ 2 687+3Évolution des étoiles sur les 7 derniers jours
#71
numbat ↗@sharkdpRust
Un langage de programmation à typage statique pour le calcul scientifique, avec une prise en charge native des dimensions et unités physiques.
★ 2 675+4Évolution des étoiles sur les 7 derniers jours
#72
steel ↗@mattwparasRust
Un interpréteur Scheme embarqué en Rust.
★ 2 564+7Évolution des étoiles sur les 7 derniers jours
#73
ACM-ICPC-Preparation ↗@BedirTC++
Guide de préparation à l'ACM-ICPC
★ 2 500+2Évolution des étoiles sur les 7 derniers jours
#74
CS-Ebook ↗@lining808Python
Une liste de recommandations de livres d'informatique classiques et de haute qualité, axée sur la sélection rigoureuse d'ouvrages de référence dans chaque domaine.
★ 2 443+0Évolution des étoiles sur les 7 derniers jours
#75
nelua-lang ↗@edubartLua
Langage de programmation système minimal, efficace, typé statiquement et méta-programmable, fortement inspiré de Lua, compilant vers C et du code natif.
★ 2 416+0Évolution des étoiles sur les 7 derniers jours
#76
kcl ↗@kcl-langRust
Cœur et API du langage de programmation KCL (projet CNCF Sandbox). https://kcl-lang.io
★ 2 408+4Évolution des étoiles sur les 7 derniers jours
#77
CreepyCodeCollection ↗@MinhasKamalC
Une collection absurde de codes dégoûtants
★ 2 400-1Évolution des étoiles sur les 7 derniers jours
#78
moonbit-docs ↗@moonbitlangMoonBit
Documentation du langage de programmation MoonBit.
★ 2 400+8Évolution des étoiles sur les 7 derniers jours
#79
catala ↗@CatalaLangOCaml
Langage de programmation pour la spécification juridique en programmation littérale
★ 2 373+4Évolution des étoiles sur les 7 derniers jours
#80
rune ↗@rune-rsRust
Langage de programmation dynamique embarquable pour Rust.
★ 2 317+3Évolution des étoiles sur les 7 derniers jours
#81
nature ↗@nature-langC
Le langage de programmation Nature
★ 2 254+0Évolution des étoiles sur les 7 derniers jours
#82
dark ↗@darklangF#
Dépôt principal de Darklang, incluant le langage, le backend et l'infrastructure
★ 2 169+0Évolution des étoiles sur les 7 derniers jours
#83
awesome-games-of-coding ↗@michelpereira
Une liste organisée de jeux pour apprendre à maîtriser un langage de programmation.
★ 2 149+0Évolution des étoiles sur les 7 derniers jours
#84
pocketpy ↗@pocketpyC
Interpréteur Python 3.x portable en C moderne pour le scripting de jeux.
★ 2 113+1Évolution des étoiles sur les 7 derniers jours
#85
umka-lang ↗@vtereshkovC
Umka : un langage de script intégrable à typage statique.
★ 2 098+5Évolution des étoiles sur les 7 derniers jours
#86
command-line-rust ↗@kyclarkRust
Code source pour Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417).
★ 2 025+0Évolution des étoiles sur les 7 derniers jours
#87
chapel ↗@chapel-langChapel
Un langage de programmation parallèle productif
★ 2 020+1Évolution des étoiles sur les 7 derniers jours
#88
Vale ↗@ValeLangScala
Compilateur pour le langage de programmation Vale - http://vale.dev/
★ 2 008+0Évolution des étoiles sur les 7 derniers jours
#89
fut ↗@fusionlanguageC++
Langage de programmation Fusion. Transpile vers C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript et OpenCL C.
★ 1 927+0Évolution des étoiles sur les 7 derniers jours
#90
lamdu ↗@lamduHaskell
lamdu - vers la prochaine génération d'IDE.
★ 1 899+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets