programming-languages

There are 51 repositories under programming-languages topic.

• Odin

  odin-lang / Odin

  Odin Programming Language

  odin-programming-languageodinlanguagecompilerodin-langprogramming-languageprogramming-languages
  Language:Odin 8970

• steshaw / plt

  Programming Language Theory λΠ

  programming-languagestype-theoryfunctional-programmingcategory-theorylogicproof-theory
  Language:CSS 5313

• goq / telegram-list

  List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов

  botcodingcommunitydata-sciencedata-science-clubdeep-learningdevopsdevops-teamsfrontendhacker-newslinuxmachine-learningmicrosoftnewsprogrammingprogramming-languagessmmtelegramtelegram-grouptheory
  4825

• GitbookIO / javascript

  GitBook teaching programming basics with Javascript

  javascriptlearn-to-codelearningprogramming-languages
  3613

• TheAlgorithms / Algorithms-Explanation

  Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.

  algorithmprogramming-languageshacktoberfestdata-structuresalgorithmsalgorithms-explainedexplanations
  3224

• rubinius / rubinius

  The Rubinius Language Platform

  programming-languagesrubiniusvirtual-machine
  Language:C 3073

• PlummersSoftwareLLC / Primes

  Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness

  programming-languagesdrag-raceprimesprimesievebenchmarksdockerbenchmark
  Language:C 2743

• rafamadriz / friendly-snippets

  Set of preconfigured snippets for different languages.

  snippetsfriendly-snippetslanguagesprogramming-languages
  Language:Lua 2508

• NARKOZ / guides

  Design and development guides

  awesomestyleguidesprogramming-languagesguidelinesapidesigndevelopmentbest-practicescoding-conventions
  2319

• shining1984 / PL-Compiler-Resource

  程序语言与编译技术相关资料（持续更新中）

  compilercompilers-designsoftware-analysisvirtual-machineruntimecoursebookpaperblogconferencejournalprogramming-languages
  2125

• toutiaoio / weekly.manong.io

  码农周刊 - 每周五发送，欢迎订阅！欢迎加入读者圈子，一起交流！

  programming-languagesprogrammingarchitectureprogramming-toolsartificial-intelligenceweeklyawesome-lists
  1982

• plfa / plfa.github.io

  An introduction to programming language theory in Agda

  bookprogramming-languagesproof-assistant
  Language:Agda 1454
• codespan

  brendanzab / codespan

  Beautiful diagnostic reporting for text-based programming languages.

  error-reportingprogramming-languagessource-coderustdiagnosticsterminal
  Language:Rust 1227

• py4j / py4j

  Py4J enables Python programs to dynamically access arbitrary Java objects

  distributed-systemsjavaprogramming-languagespython
  Language:Java 1225

• live-codes / livecodes

  A Code Playground That Just Works!

  javascripttypescriptplaygroundmonaco-editorprettiercodeprogramming-languageseditorlivelivecodeshacktoberfest
  Language:TypeScript 1129

• VPanjeta / ModiScript

  Acche din aa gaye

  astcompileresotericesoteric-interpreteresoteric-languageesoteric-programming-languagefunhindilanguagemodimodiscriptprogrammingprogramming-languageprogramming-languagespythonsyntaxtree
  Language:Python 1037

• madnight / githut

  Github Language Statistics

  github-language-statisticslanguagesfunctional-reactive-programmingserverlessreactprogramming-languagesgithub-pages-websitebigquerysql-querydatasetstatisticsjamstackreact-hooks
  Language:JavaScript 1000
• programming-language-subreddits-and-their-choice-of-words

  Dobiasd / programming-language-subreddits-and-their-choice-of-words

  How do the different communities talk?

  programming-languagesredditsocialfun
  Language:Python 825

• dundalek / awesome-lisp-languages

  A list of Lisp-flavored programming languages

  awesomeawesome-listlisplisp-languagesprogramming-languages
  775

• breck7 / pldb

  PLDB: a Programming Language DataBase

  programming-languagesdataknowledge-graph
  Language:JavaScript 758
• Software-Engineering-In-Arabic

  Eqraatech / Software-Engineering-In-Arabic

  محتوى تقني متميز في مختلف مجالات هندسة البرمجيات عن طريق تبسيط المفاهيم البرمجية المعقدة بشكل سلس وباستخدام صور توضيحية مذهلة

  databasesdesign-patternsdistributed-systemsprogramming-languagessoftware-engineeringsystem-design
  605
• sample-programs

  TheRenegadeCoder / sample-programs

  Sample Programs in Every Programming Language

  collectiondiscordpolyglotprogramming-languagessnippets
  Language:BASIC 587

• niklas-heer / speed-comparison

  A repo which compares the speed of different programming languages.

  cclojuredockerelixirgolanghacktoberfestjavascriptjulianim-langphpprogramming-languagespythonrubyspeed-comparisonswift
  Language:Earthly 554

• 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.

  cclangllvmmemory-safetyprogramming-languagessystem-programmingtype-safety
  Language:C++ 508

• Jamesbarford / holyc-lang

  HolyC compiler & transpiler

  ccompilerholycprogrammingprogramming-languageprogramming-languagestempleostranspiler
  Language:C 490

• stackvana / microcule

  SDK and CLI for spawning streaming stateless HTTP microservices in multiple programming languages

  faasfunctionsmicroservice-errorsmicroservice-requestmicroservicesnode-middlewareprogramming-languagesserverless
  Language:JavaScript 479
• crumb

  liam-ilan / crumb

  The Crumb Programming Language

  ccrumbfunctional-programminginterpreterlanguageprogramming-languages
  Language:C 427

• abranhe / programming-languages-logos

  Programming Languages Logos

  designlogospngprogramming-languageprogramming-languagesprogramming-languages-logossvg
  Language:Shell 424
• CheLang

  frankdilu / CheLang

  CheLang es un lenguaje de programación esotérico argento. Ni más, ni menos. Es la que va.

  argentinaprogramming-languageprogramming-languagesargentinoargentoesoteric-languageesoteric-programming-languageesotericesoteric-languages
  Language:Python 411

• starkblaze01 / Algorithms-Cheatsheet-Resources

  🤓All the geeky stuffs you need to know at one place!

  algorithms-and-data-structuresalgorithmpythonjavascriptjavahaskellcheatsheetcheat-sheetsresourcesprogramming-languagesgeeky-stuffsinterview-questionsmachine-learningconference-papericdarawesome-resourcescomputer-sciencehacktoberfestawesomehacktoberfest2024
  Language:Python 410
• 2DGD_F0TH

  2DGD-F0TH / 2DGD_F0TH

  [CC BY-NC-SA] A compendium of the community knowledge on game design and development

  algorithmscppdevelopmentebookgamegame-2dgame-designgame-devgame-developmentgame-programminggamedevgamesjavascriptknowledgeprogrammingprogramming-languagespythonresourcesteaching
  Language:Lua 408

• nottheswimmer / pytago

  A source-to-source transpiler for Python to Go translation

  golangpythontranspilermitcompilergoprogramming-languagesprogrammingcodegenparsingastabstract-syntax-tree
  Language:Python 395

• capjamesg / visionscript

  A high-level programming language for using computer vision.

  computer-visionprogramming-languagesvisionscript
  Language:Python 343
• concurrency-glossary

  slikts / concurrency-glossary

  🦑 Informal definitions of terms used in concurrency modeling

  concurrencyparallelismcomputer-scienceterminologyprogramming-languages
  Language:HTML 327

• ChrisCummins / ProGraML

  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations

  graph-representationprogramming-languagesllvmcontrol-flowdata-flowcompiler-irsllvm-irmachine-learninggraph-neural-networks
  Language:C++ 315

• freddiev4 / dailyprogrammerchallenges

  Bank of challenges & solutions from r/dailyprogrammer for people learning to program

  redditdailyprogrammerprogramming-challengesprogramming-exerciseprogramming-languages
  Language:C 313