Topic: "programming-languages"
odin-lang/Odin
Odin Programming Language
Language: Odin - Size: 536 MB - Last synced at: about 24 hours ago - Pushed at: 2 days ago - Stars: 9,432 - Forks: 867
steshaw/plt
Programming Language Theory λΠ
Language: CSS - Size: 217 KB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 5,296 - Forks: 340
goq/telegram-list
List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов
Size: 2.62 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4,827 - Forks: 834
GitbookIO/javascript
GitBook teaching programming basics with Javascript
Size: 480 KB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 3,626 - Forks: 1,014
TheAlgorithms/Algorithms-Explanation
Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.
Size: 84.2 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 3,251 - Forks: 791
rubinius/rubinius
The Rubinius Language Platform
Language: C - Size: 160 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 3,084 - Forks: 601
PlummersSoftwareLLC/Primes
Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness
Language: C - Size: 7.66 MB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 2,854 - Forks: 589
rafamadriz/friendly-snippets
Set of preconfigured snippets for different languages.
Language: Lua - Size: 6.59 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 2,540 - Forks: 547
NARKOZ/guides
Design and development guides
Size: 69.3 KB - Last synced at: 10 days ago - Pushed at: 6 months ago - Stars: 2,348 - Forks: 235
shining1984/PL-Compiler-Resource
程序语言与编译技术相关资料（持续更新中）
Size: 135 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2,138 - Forks: 267
toutiaoio/weekly.manong.io
码农周刊 - 每周五发送，欢迎订阅！欢迎加入读者圈子，一起交流！
Size: 1.4 MB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 1,982 - Forks: 233
plfa/plfa.github.io
An introduction to programming language theory in Agda
Language: Agda - Size: 206 MB - Last synced at: 3 days ago - Pushed at: 6 days ago - Stars: 1,477 - Forks: 345
live-codes/livecodes
A Code Playground That Just Works!
Language: TypeScript - Size: 157 MB - Last synced at: about 1 hour ago - Pushed at: 1 day ago - Stars: 1,328 - Forks: 220
py4j/py4j
Py4J enables Python programs to dynamically access arbitrary Java objects
Language: Java - Size: 16.4 MB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 1,266 - Forks: 232
brendanzab/codespan
Beautiful diagnostic reporting for text-based programming languages.
Language: Rust - Size: 1.13 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 1,264 - Forks: 67
VPanjeta/ModiScript
Acche din aa gaye
Language: Python - Size: 488 KB - Last synced at: 7 months ago - Pushed at: about 4 years ago - Stars: 1,037 - Forks: 111
madnight/githut
Github Language Statistics
Language: JavaScript - Size: 38.4 MB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 991 - Forks: 131
dundalek/awesome-lisp-languages
A list of Lisp-flavored programming languages
Size: 65.4 KB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 832 - Forks: 42
Dobiasd/programming-language-subreddits-and-their-choice-of-words
How do the different communities talk?
Language: Python - Size: 3.15 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 825 - Forks: 27
breck7/pldb
PLDB: a Programming Language DataBase
Language: JavaScript - Size: 756 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 773 - Forks: 107
Jamesbarford/holyc-lang
HolyC compiler & transpiler
Language: C - Size: 1.08 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 755 - Forks: 50
Eqraatech/Software-Engineering-In-Arabic
محتوى تقني متميز في مختلف مجالات هندسة البرمجيات عن طريق تبسيط المفاهيم البرمجية المعقدة بشكل سلس وباستخدام صور توضيحية مذهلة
Language: Python - Size: 72.3 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 645 - Forks: 30
TheRenegadeCoder/sample-programs
Sample Programs in Every Programming Language
Language: BASIC - Size: 26 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 620 - Forks: 626
niklas-heer/speed-comparison
A repo which compares the speed of different programming languages.
Language: Python - Size: 21.8 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 615 - Forks: 92
checkedc/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
Language: C++ - Size: 1.31 GB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 508 - Forks: 79
stackvana/microcule
SDK and CLI for spawning streaming stateless HTTP microservices in multiple programming languages
Language: JavaScript - Size: 354 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 481 - Forks: 30
2DGD-F0TH/2DGD_F0TH
[CC BY-NC-SA] A compendium of the community knowledge on game design and development
Language: Lua - Size: 36.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 431 - Forks: 17
abranhe/programming-languages-logos
Programming Languages Logos
Language: Shell - Size: 12.9 MB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 430 - Forks: 78
liam-ilan/crumb
The Crumb Programming Language
Language: C - Size: 7.13 MB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 427 - Forks: 8
starkblaze01/Algorithms-Cheatsheet-Resources
🤓All the geeky stuffs you need to know at one place!
Language: Python - Size: 4.85 MB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 421 - Forks: 166
nottheswimmer/pytago
A source-to-source transpiler for Python to Go translation
Language: Python - Size: 410 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 396 - Forks: 28
frankdilu/CheLang
CheLang es un lenguaje de programación esotérico argento. Ni más, ni menos. Es la que va.
Language: Python - Size: 50.9 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 394 - Forks: 21
capjamesg/visionscript 📦
A high-level programming language for using computer vision.
Language: Python - Size: 13.8 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 344 - Forks: 18
JoeStrout/miniscript
source code of both C# and C++ implementations of the MiniScript scripting language
Language: C++ - Size: 2.67 MB - Last synced at: 18 days ago - Pushed at: 21 days ago - Stars: 340 - Forks: 69
arialang/aria
The Aria Programming Language
Language: Rust - Size: 1.39 MB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 329 - Forks: 19
slikts/concurrency-glossary
🦑 Informal definitions of terms used in concurrency modeling
Language: HTML - Size: 308 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 323 - Forks: 14
spamegg1/reviews
Reviewing some online CS courses I took
Language: JavaScript - Size: 1.39 GB - Last synced at: 7 months ago - Pushed at: 10 months ago - Stars: 320 - Forks: 18
ChrisCummins/ProGraML
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
Language: C++ - Size: 51.1 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 320 - Forks: 63
freddiev4/dailyprogrammerchallenges 📦
Bank of challenges & solutions from r/dailyprogrammer for people learning to program
Language: C - Size: 1.89 MB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 315 - Forks: 60
linsa-io/programming-languages
Awesome Programming Languages
Size: 321 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 312 - Forks: 35
guettli/programming-guidelines
My personal programming guidelines
Size: 3.01 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 307 - Forks: 43
brendanzab/language-garden
A garden of small programming language implementations 🪴
Language: OCaml - Size: 2.27 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 299 - Forks: 7
codethesaurus/codethesaur.us
A polyglot developer reference tool to compare programming language concepts side-by-side! Great for learning new languages or using for reference.
Language: Python - Size: 16.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 295 - Forks: 174
One-Language/One
One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (release as soon) 1️⃣ 🕐 🩱
Language: C - Size: 3.14 MB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 289 - Forks: 56
c3d/xl
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
Language: C++ - Size: 21.6 MB - Last synced at: 7 months ago - Pushed at: almost 3 years ago - Stars: 278 - Forks: 15
techgaun/awesome-programming-presentations
Presentations that programmers should watch
Size: 368 KB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 272 - Forks: 48
s-tikhomirov/smart-contract-languages
A curated collection of resources on smart contract programming languages
Size: 104 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 244 - Forks: 28
veyselusta/programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Size: 38.1 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 243 - Forks: 8
ploc-org/CNPL
:books: 🇨🇳 《国产编程语言蓝皮书》历年集合
Size: 1.71 MB - Last synced at: 11 days ago - Pushed at: 11 months ago - Stars: 240 - Forks: 30
jaredkrinke/100-languages
Solving the first 100 Project Euler problems using 100 different programming languages!
Language: TypeScript - Size: 492 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 239 - Forks: 12
vladimirvivien/learning-go
Source code repository for my book "Learning Go Programming"
Language: Go - Size: 599 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 233 - Forks: 83
iteachmachines/Free-Computer-Science-University
So after watching all the resources i thought to put all the important technical courses in one place.And help those people who wants to learn computer science.All the courses are free here.
Size: 33.2 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 228 - Forks: 52
Decron/Whitebox-Code-GPT
Repository of instructions for Programming-specific GPT models
Language: Dart - Size: 378 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 208 - Forks: 20
lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Language: Rust - Size: 567 KB - Last synced at: 8 months ago - Pushed at: over 5 years ago - Stars: 206 - Forks: 10
ixionlang/ixion
✨ modern scripting programming language
Language: Kotlin - Size: 1.65 MB - Last synced at: 5 days ago - Pushed at: 9 days ago - Stars: 204 - Forks: 9
ad-si/RosettaGit
Solutions to tasks in over 700 programming languages
Language: HTML - Size: 76.8 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 204 - Forks: 11
ExpoSEJS/ExpoSE
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Language: JavaScript - Size: 12.1 MB - Last synced at: 8 months ago - Pushed at: 11 months ago - Stars: 202 - Forks: 40
gmkzwwg/computer-science-learning-map-cn
(Try to be) a Comprehensive Computer Science Learning Map.
Language: HTML - Size: 3.89 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 195 - Forks: 30
Kalaam-Programming-Language/Kalaam
Kalaam is the Programming language in Hindi.
Language: JavaScript - Size: 35 MB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 192 - Forks: 71
luau-lang/lute
A standalone Luau runtime for general-purpose programming
Language: C++ - Size: 33.1 MB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 190 - Forks: 32
onux/jspp
JS++, a sound static/dynamic programming language for web development
Language: JavaScript - Size: 1.63 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 189 - Forks: 27
dronezzzko/software-development-best-practices
Comprehensive collection of essential software engineering practices and recommendations.
Size: 227 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 187 - Forks: 19
yaph/programming-languages-influence
Code to retrieve data for the programming languages influence visualizations from Freebase
Language: Python - Size: 148 KB - Last synced at: 8 months ago - Pushed at: almost 4 years ago - Stars: 187 - Forks: 59
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Language: Scala - Size: 646 KB - Last synced at: 4 months ago - Pushed at: about 4 years ago - Stars: 186 - Forks: 22
lambda-study-group/awesome-functional-studies
A curated list of functional programming resources to study the fp paradigm
Size: 94.7 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 181 - Forks: 16
qwertie/ecsharp
Home of LoycCore, the LES language of Loyc trees, the Enhanced C# parser, the LeMP macro preprocessor, and the LLLPG parser generator.
Language: C# - Size: 83.9 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 178 - Forks: 23
SAKET-SK/Programming-Aptitude-Interview-Prep
The exact prep I did for coding rounds; all programming aptitude questions and answers are sourced from the internet for preparation and to understand the logic-building approach. If you wish to contribute to this repository, you are highly welcome to do so. By doing this, lets try and build a big repository of coding round questions in one place.
Language: Java - Size: 475 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 170 - Forks: 18
PlasmaLang/plasma
Plasma Programming Language
Language: Mercury - Size: 4.87 MB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 166 - Forks: 10
made-in-bangladesh/made-in-bangladesh
A curated list of awesome frameworks, libraries and softwares made in Bangladesh.
Language: Go - Size: 1.41 MB - Last synced at: 8 months ago - Pushed at: over 2 years ago - Stars: 165 - Forks: 37
au-ts/cogent
Cogent Project
Language: Isabelle - Size: 17.2 MB - Last synced at: 8 months ago - Pushed at: 9 months ago - Stars: 163 - Forks: 27
kansiris/C-Sharp-c-interview-question
List of top 500 C# csharp Interview Questions & Answers....Coding exercise questions are coming soon!!
Size: 405 KB - Last synced at: 10 months ago - Pushed at: about 4 years ago - Stars: 163 - Forks: 41
err0r500/foundational-knowledge-for-programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 163 - Forks: 11
BlackIQ/Hello-World
Hello World in different languages !
Language: Python - Size: 4.34 MB - Last synced at: 6 months ago - Pushed at: 10 months ago - Stars: 161 - Forks: 140
gauntlet-lang/gauntlet
A compile-to-Golang programming language designed to alleviate some of Go's design choices 👾
Language: F# - Size: 142 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 156 - Forks: 3
mit-plv/koika
A core language for rule-based hardware design 🦑
Language: Rocq Prover - Size: 4.54 MB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 156 - Forks: 14
wdv4758h/notes
let me know if my notes help you :D (it's a mess, I know)
Language: C++ - Size: 337 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 151 - Forks: 17
cu1ch3n/type-inference-zoo
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
Language: Haskell - Size: 271 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 150 - Forks: 2
fionafibration/owoScript
An OwO based, stack-oriented programming language
Language: Python - Size: 178 KB - Last synced at: 8 months ago - Pushed at: over 6 years ago - Stars: 140 - Forks: 2
rogerkeays/unchecked
Say goodbye to checked exceptions forever.
Language: Java - Size: 104 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 131 - Forks: 0
famzah/langs-performance
C++ vs. Python vs. Perl vs. PHP vs. Java vs. NodeJS vs. Go vs. Ruby vs. Rust vs. Swift vs. D performance benchmark
Language: Perl - Size: 112 KB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 128 - Forks: 33
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
Language: Haskell - Size: 1.82 MB - Last synced at: 17 days ago - Pushed at: 12 months ago - Stars: 125 - Forks: 10
tpetricek/teaching
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
Language: F# - Size: 286 MB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 113 - Forks: 6
zhravan/LearningResources
A centralised hub for learner around the globe from A-Z. You can find collections of manuals, blogs, hacks, one liners, courses, other free learning-resources and more
Size: 10.1 MB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 109 - Forks: 13
yurijserrano/Github-Profile-Readme-Logos
This repository contains programming languages, databases, IDEs, text editors, cloud, and framework logos.
Size: 1.02 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 107 - Forks: 68
forkingachild/helloworlds
Hello-World program in most programming languages
Language: Assembly - Size: 356 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 105 - Forks: 8
tekknolagi/tekknolagi.github.com
My personal website
Language: C - Size: 421 MB - Last synced at: 4 days ago - Pushed at: 6 days ago - Stars: 103 - Forks: 29
lcomment/development-recipes
개발자를 위한 레시피 📓
Size: 15.3 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 103 - Forks: 9
luminalang/lumina
Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compiler-driven development and simplicity.
Language: Rust - Size: 4.97 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 101 - Forks: 2
kosh04/newlisp
newLISP mirror repository (unofficial)
Language: C - Size: 4.64 MB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 101 - Forks: 22
leostera/awesome-alt-langs
Just a list of Awesome Alt Langs to check out
Size: 33.2 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 101 - Forks: 9
rafinhadufluxo/Materias-UFFS
Todo conteúdo do Curso, você encontra aqui 🍩 👾
Language: C - Size: 467 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 100 - Forks: 29
shanraisshan/EmojiCodeSheet
Your first stop for developing emoji keyboards for any platform, using any language.
Language: Java - Size: 4.12 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 99 - Forks: 42
Mistium/Origin-OS
originOS is a scratch desktop gui made by @Mistium
Language: HTML - Size: 1010 MB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 95 - Forks: 21
tpetricek/Talks
:mortar_board: Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.
Language: JavaScript - Size: 350 MB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 93 - Forks: 14
pluto-lang/pluto
Pluto provides a unified programming interface that allows you to seamlessly tap into cloud capabilities and develop your cloud and AI applications.
Language: TypeScript - Size: 29.8 MB - Last synced at: 9 days ago - Pushed at: 11 months ago - Stars: 93 - Forks: 8
codiewio/codenire
🐳 Codenire — Code Playground (backend) based on Docker images with Google gVisor isolation. Extensible and customizable via API. PostgresQL supported for each language ... Web UI will be soon
Language: Go - Size: 13.5 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 89 - Forks: 6
kvz/ochtra
One Commit Hook To Rule All
Language: Shell - Size: 43.9 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 86 - Forks: 12
probsys/sppl
Probabilistic programming system for fast and exact symbolic inference
Language: Python - Size: 6.22 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 82 - Forks: 9
Eclalang/Ecla
Ecla is a programming language that is designed to be easy to learn and use. It is a general purpose language that can be used for many different things.
Language: Go - Size: 1 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 81 - Forks: 0
NewHR/telegram
Список интересных телеграм каналов, чатов, груп в сфере IT & Digital
Size: 24.4 KB - Last synced at: 7 months ago - Pushed at: about 2 years ago - Stars: 81 - Forks: 13
