Sujet · programming-language

programming-language

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

191 dépôts

#31
ultimate-python ↗@huangsamPython
Guide d'étude ultime pour Python.
★ 5 943+2Évolution des étoiles sur les 7 derniers jours
#32
alda ↗@alda-langGo
Un langage de programmation musicale pour les musiciens.
★ 5 940+5Évolution des étoiles sur les 7 derniers jours
#33
luau ↗@luau-langC++
Un langage de programmation petit, rapide et intégrable basé sur Lua avec un système de typage graduel.
★ 5 825+10Évolution des étoiles sur les 7 derniers jours
#34
RustBooks ↗@sger
Liste de livres sur Rust.
★ 5 616+9Évolution des étoiles sur les 7 derniers jours
#35
go-ast-book ↗@chai2010Go
Guide de personnalisation du langage Go (Introduction à l'arbre de syntaxe Go, livre open source, avancé, maîtrise de l'AST)
★ 5 514+3Évolution des étoiles sur les 7 derniers jours
#36
groovy ↗@apacheJava
Apache Groovy : un langage de programmation polyvalent et puissant pour la plateforme JVM.
★ 5 466+3Évolution des étoiles sur les 7 derniers jours
#37
wing ↗@winglangTypeScript
Un langage de programmation pour le cloud ☁️ Un modèle de programmation unifié combinant l'infrastructure et le code d'exécution en un seul langage ⚡
★ 5 399+1Évolution des étoiles sur les 7 derniers jours
#38
aviatorscript ↗@killme2008Java
Un langage de script haute performance hébergé sur la JVM.
★ 5 242+2Évolution des étoiles sur les 7 derniers jours
#39
Orca ↗@hundredrabbitsJavaScript
Langage de programmation ésotérique.
★ 5 079+4Évolution des étoiles sur les 7 derniers jours
#40
gopl-zh.github.com ↗@gopl-zhGo
Version chinoise de la Bible du langage Go
★ 4 991+1Évolution des étoiles sur les 7 derniers jours
#41
unit ↗@samuelmtimboTypeScript
Système de programmation visuelle de nouvelle génération
★ 4 920+0Évolution des étoiles sur les 7 derniers jours
#42
leo ↗@ProvableHQRust
Le langage de programmation Leo. Un langage pour des applications formellement vérifiées et à divulgation nulle de connaissance (Zero-Knowledge).
★ 4 821+0Évolution des étoiles sur les 7 derniers jours
#43
wuffs ↗@googleC
Traitement sécurisé de formats de fichiers non fiables.
★ 4 821+0Évolution des étoiles sur les 7 derniers jours
#44
borgo ↗@borgo-langRust
Borgo est un langage à typage statique qui compile vers Go.
★ 4 638-1Évolution des étoiles sur les 7 derniers jours
#45
gravity ↗@marcobambiniC
Langage de programmation Gravity.
★ 4 564+3Évolution des étoiles sur les 7 derniers jours
#46
awesome-wasm-langs ↗@appcypher
😎 Une liste organisée de langages qui compilent directement vers WebAssembly ou possèdent leurs propres machines virtuelles dans WebAssembly
★ 4 440+0Évolution des étoiles sur les 7 derniers jours
#47
coconut ↗@evhubPython
Programmation fonctionnelle simple, élégante et pythonique.
★ 4 354+2Évolution des étoiles sur les 7 derniers jours
#48
mint ↗@mint-langCrystal
🍃 Un langage de programmation rafraîchissant pour le développement web front-end.
★ 4 264-2Évolution des étoiles sur les 7 derniers jours
#49
lmql ↗@eth-sriPython
Un langage pour une programmation LLM efficace et guidée par des contraintes
★ 4 209+0Évolution des étoiles sur les 7 derniers jours
#50
bhai-lang ↗@DulLabsTypeScript
Un langage de programmation jouet écrit en TypeScript.
★ 4 091-1Évolution des étoiles sur les 7 derniers jours
#51
ballerina-lang ↗@ballerina-platformBallerina
Le langage de programmation Ballerina.
★ 3 849+2Évolution des étoiles sur les 7 derniers jours
#52
tengo ↗@d5Go
Un langage de script rapide pour Go.
★ 3 831+0Évolution des étoiles sur les 7 derniers jours
#53
locutus ↗@locutusjsTypeScript
Portage des bibliothèques standards d'autres langages de programmation vers TypeScript pour le plaisir.
★ 3 763+0Évolution des étoiles sur les 7 derniers jours
#54
P ↗@p-orgC#
Le langage de programmation P.
★ 3 673+3Évolution des étoiles sur les 7 derniers jours
#55
dafny ↗@dafny-langC#
Dafny est un langage de programmation intégrant la vérification formelle.
★ 3 520+1Évolution des étoiles sur les 7 derniers jours
#56
gluon ↗@gluon-langRust
Un langage statique, à inférence de type et intégrable, écrit en Rust.
★ 3 441+6Évolution des étoiles sur les 7 derniers jours
#57
jank ↗@jank-langC++
jank est le dialecte natif de Clojure avec une interopérabilité C++ transparente.
★ 3 322+1Évolution des étoiles sur les 7 derniers jours
#58
dmd ↗@dlangD
dmd, le compilateur du langage de programmation D
★ 3 305+3Évolution des étoiles sur les 7 derniers jours
#59
checkedc ↗@checkedcC
Checked C est une extension du langage C permettant d'ajouter la vérification des bornes et une meilleure sécurité des types, visant à sécuriser le code existant et à éliminer des classes entières d'erreurs.
★ 3 258+1Évolution des étoiles sur les 7 derniers jours
#60
awesome-ocaml ↗@ocaml-community
Une collection organisée d'outils, frameworks, bibliothèques et articles OCaml de qualité.
★ 3 112+1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets