Projects in Awesome Lists tagged with programming-languages
A curated list of projects in awesome lists tagged with programming-languages .
https://github.com/odin-lang/Odin
Odin Programming Language
compiler language odin odin-lang odin-programming-language programming-language programming-languages
Last synced: 26 Mar 2025
https://github.com/odin-lang/odin
Odin Programming Language
compiler language odin odin-lang odin-programming-language programming-language programming-languages
Last synced: 26 Mar 2025
https://github.com/steshaw/plt
Programming Language Theory λΠ
category-theory functional-programming logic programming-languages proof-theory type-theory
Last synced: 13 May 2025
https://github.com/goq/telegram-list
List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов
bot coding community data-science data-science-club deep-learning devops devops-teams frontend hacker-news linux machine-learning microsoft news programming programming-languages smm telegram telegram-group theory
Last synced: 28 Mar 2025
https://github.com/gitbookio/javascript
GitBook teaching programming basics with Javascript
javascript learn-to-code learning programming-languages
Last synced: 14 May 2025
https://github.com/GitbookIO/javascript
GitBook teaching programming basics with Javascript
javascript learn-to-code learning programming-languages
Last synced: 10 Apr 2025
https://github.com/rubinius/rubinius
The Rubinius Language Platform
programming-languages rubinius virtual-machine
Last synced: 14 May 2025
https://github.com/TheAlgorithms/Algorithms-Explanation
Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.
algorithm algorithms algorithms-explained data-structures explanations hacktoberfest programming-languages
Last synced: 28 Mar 2025
https://github.com/thealgorithms/algorithms-explanation
Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.
algorithm algorithms algorithms-explained data-structures explanations hacktoberfest programming-languages
Last synced: 26 Mar 2025
https://github.com/plummerssoftwarellc/primes
Prime Number Projects in C#/C++/Python
benchmark benchmarks docker drag-race primes primesieve programming-languages
Last synced: 29 Apr 2025
https://github.com/PlummersSoftwareLLC/Primes
Prime Number Projects in C#/C++/Python
benchmark benchmarks docker drag-race primes primesieve programming-languages
Last synced: 29 Apr 2025
https://github.com/rafamadriz/friendly-snippets
Set of preconfigured snippets for different languages.
friendly-snippets languages programming-languages snippets
Last synced: 13 May 2025
https://github.com/shining1984/pl-compiler-resource
程序语言与编译技术相关资料(持续更新中)
blog book compiler compilers-design conference course journal paper programming-languages runtime software-analysis virtual-machine
Last synced: 26 Mar 2025
https://github.com/shining1984/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
blog book compiler compilers-design conference course journal paper programming-languages runtime software-analysis virtual-machine
Last synced: 17 Apr 2025
https://github.com/toutiaoio/weekly.manong.io
码农周刊 - 每周五发送,欢迎订阅!欢迎加入读者圈子,一起交流!
architecture artificial-intelligence awesome-lists programming programming-languages programming-tools weekly
Last synced: 16 May 2025
https://github.com/plfa/plfa.github.io
An introduction to programming language theory in Agda
book programming-languages proof-assistant
Last synced: 12 Apr 2025
https://github.com/py4j/py4j
Py4J enables Python programs to dynamically access arbitrary Java objects
distributed-systems java programming-languages python
Last synced: 12 May 2025
https://github.com/brendanzab/codespan
Beautiful diagnostic reporting for text-based programming languages.
diagnostics error-reporting programming-languages rust source-code terminal
Last synced: 12 May 2025
https://github.com/vpanjeta/modiscript
Acche din aa gaye
ast compiler esoteric esoteric-interpreter esoteric-language esoteric-programming-language fun hindi language modi modiscript programming programming-language programming-languages python syntax tree
Last synced: 16 May 2025
https://github.com/madnight/githut
Github Language Statistics
bigquery dataset functional-reactive-programming github-language-statistics github-pages-website jamstack languages programming-languages react react-hooks serverless sql-query statistics
Last synced: 16 May 2025
https://github.com/live-codes/livecodes
A Code Playground That Just Works!
code editor hacktoberfest javascript live livecodes monaco-editor playground prettier programming-languages typescript
Last synced: 14 May 2025
https://github.com/dobiasd/programming-language-subreddits-and-their-choice-of-words
How do the different communities talk?
fun programming-languages reddit social
Last synced: 12 Apr 2025
https://github.com/Dobiasd/programming-language-subreddits-and-their-choice-of-words
How do the different communities talk?
fun programming-languages reddit social
Last synced: 04 Apr 2025
https://github.com/breck7/pldb
PLDB: a Programming Language DataBase
data knowledge-graph programming-languages
Last synced: 14 Apr 2025
https://github.com/eqraatech/software-engineering-in-arabic
محتوى تقني متميز في مختلف مجالات هندسة البرمجيات عن طريق تبسيط المفاهيم البرمجية المعقدة بشكل سلس وباستخدام صور توضيحية مذهلة
databases design-patterns distributed-systems programming-languages software-engineering system-design
Last synced: 03 Apr 2025
https://github.com/TheRenegadeCoder/sample-programs
Sample Programs in Every Programming Language
collection discord polyglot programming-languages snippets
Last synced: 28 Mar 2025
https://github.com/niklas-heer/speed-comparison
A repo which compares the speed of different programming languages.
c clojure docker elixir golang hacktoberfest javascript julia nim-lang php programming-languages python ruby speed-comparison swift
Last synced: 15 May 2025
https://github.com/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.
c clang llvm memory-safety programming-languages system-programming type-safety
Last synced: 16 May 2025
https://github.com/stackvana/microcule
SDK and CLI for spawning streaming stateless HTTP microservices in multiple programming languages
faas functions microservice-errors microservice-request microservices node-middleware programming-languages serverless
Last synced: 05 Apr 2025
https://github.com/abranhe/programming-languages-logos
Programming Languages Logos
design logos png programming-language programming-languages programming-languages-logos svg
Last synced: 16 May 2025
https://github.com/liam-ilan/crumb
The Crumb Programming Language
c crumb functional-programming interpreter language programming-languages
Last synced: 12 Apr 2025
https://github.com/nottheswimmer/pytago
A source-to-source transpiler for Python to Go translation
abstract-syntax-tree ast codegen compiler go golang mit parsing programming programming-languages python transpiler
Last synced: 26 Mar 2025
https://github.com/capjamesg/visionscript
A high-level programming language for using computer vision.
computer-vision programming-languages visionscript
Last synced: 04 Dec 2024
https://github.com/chriscummins/programl
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
compiler-irs control-flow data-flow graph-neural-networks graph-representation llvm llvm-ir machine-learning programming-languages
Last synced: 13 Apr 2025
https://github.com/freddiev4/dailyprogrammerchallenges
Bank of challenges & solutions from r/dailyprogrammer for people learning to program
dailyprogrammer programming-challenges programming-exercise programming-languages reddit
Last synced: 20 Nov 2024
https://github.com/spamegg1/reviews
Reviewing some online CS courses I took
algorithms assembly c computer-graphics databases hdl java javascript kotlin logic mathematics nand2tetris networking operating-systems programming-languages python racket ruby scala smlnj
Last synced: 12 Apr 2025
https://github.com/ChrisCummins/ProGraML
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
compiler-irs control-flow data-flow graph-neural-networks graph-representation llvm llvm-ir machine-learning programming-languages
Last synced: 14 May 2025
https://github.com/guettli/programming-guidelines
My personal programming guidelines
best-practices guidelines programming-languages python
Last synced: 16 May 2025
https://github.com/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️⃣ 🕐 🩱
compiler compiler-backend compiler-designs compiler-frontend compiler-optimization compiler-tool compilers-design hacktoberfest language llvm llvm-compiler llvm-frontend one one-lang onelang open-source programming programming-language programming-languages self-hosting
Last synced: 16 May 2025
https://github.com/c3d/xl
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
compiler compiler-design compilers-design dialects domain-specific-language extensible-language extension-language functional-languages homoiconic metaprogramming programming-language programming-languages rewrites xl-language xl-parse-tree
Last synced: 07 Apr 2025
https://github.com/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️⃣ 🕐 🩱
compiler compiler-backend compiler-designs compiler-frontend compiler-optimization compiler-tool compilers-design hacktoberfest language llvm llvm-compiler llvm-frontend one one-lang onelang open-source programming programming-language programming-languages self-hosting
Last synced: 16 May 2025
https://github.com/JoeStrout/miniscript
source code of both C# and C++ implementations of the MiniScript scripting language
miniscript programming-language programming-languages
Last synced: 26 Apr 2025
https://github.com/s-tikhomirov/smart-contract-languages
A curated collection of resources on smart contract programming languages
programming-languages smart-contracts
Last synced: 04 Apr 2025
https://github.com/ploc-org/CNPL
:books: 🇨🇳 《国产编程语言蓝皮书》历年集合
book china china-programming-languages language programming programming-languages
Last synced: 14 Apr 2025
https://github.com/vladimirvivien/learning-go
Source code repository for my book "Learning Go Programming"
coding go golang golang-book learning programming programming-languages
Last synced: 09 Apr 2025
https://github.com/Decron/Whitebox-Code-GPT
Repository of instructions for Programming-specific GPT models
ai chatbot flutter gpt llm programming-languages python tools
Last synced: 21 Mar 2025
https://github.com/ad-si/RosettaGit
Solutions to tasks in over 700 programming languages
chrestomathy comparison hacktoberfest omniglot polyglot programming-languages
Last synced: 14 Apr 2025
https://github.com/ad-si/rosettagit
Solutions to tasks in over 700 programming languages
chrestomathy comparison hacktoberfest omniglot polyglot programming-languages
Last synced: 04 Apr 2025
https://github.com/Kalaam-Programming-Language/Kalaam
Kalaam is the Programming language in Hindi.
hindi kalaam parser programming-languages
Last synced: 12 Apr 2025
https://github.com/yaph/programming-languages-influence
Code to retrieve data for the programming languages influence visualizations from Freebase
computer-science data-visualization freebase graph influence network network-analysis programming-languages python sigma visualization
Last synced: 08 May 2025
https://github.com/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.
bug-fixing javascript program-analysis programming-languages software-testing symbolic-execution unit-testing
Last synced: 13 May 2025
https://github.com/lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
lambda-calculus programming-languages tapl type-theory types types-and-programming-languages
Last synced: 27 Apr 2025
https://github.com/ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
programming-languages tapl type-checking type-inference
Last synced: 19 Dec 2024
https://github.com/brendanzab/language-garden
A garden of small programming language implementations 🪴
compilation compilers dependent-types elaboration l-systems programming-languages typechecking
Last synced: 05 Apr 2025
https://github.com/made-in-bangladesh/made-in-bangladesh
A curated list of awesome frameworks, libraries and softwares made in Bangladesh.
bangladesh frameworks library made-in-bangladesh programming-languages software-engineering
Last synced: 07 May 2025
https://github.com/blackiq/hello-world
Hello World in different languages !
css hacktoberfest hacktoberfest2021 hacktoberfest2022 hacktoberfest2023 hacktoberfest2024 hello-world html java javascript programming-languages python
Last synced: 16 May 2025
https://github.com/au-ts/cogent
Cogent Project
co-generation file-systems isabelle-hol programming-languages verification
Last synced: 24 Apr 2025
https://github.com/vaivaswatha/pliron
Programming Languages Intermediate Representation
compilers ir mlir programming-languages
Last synced: 12 Apr 2025
https://github.com/BlackIQ/Hello-World
Hello World in different languages !
css hacktoberfest hacktoberfest2021 hacktoberfest2022 hacktoberfest2023 hacktoberfest2024 hello-world html java javascript programming-languages python
Last synced: 20 Nov 2024
https://github.com/kansiris/c-sharp-c-interview-question
List of top 500 C# csharp Interview Questions & Answers....Coding exercise questions are coming soon!!
interview-practice interview-questions namespace-sampleprogram programming-languages
Last synced: 24 Feb 2025
https://github.com/mit-plv/koika
A core language for rule-based hardware design 🦑
compilation coq formal-methods hardware-description-language programming-languages semantics
Last synced: 17 Jun 2025
https://github.com/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.
aptitude aptitude-solver aptitude-tests aptitudetraining exercises interview-technical logic-programming programming-languages technical-test
Last synced: 05 Apr 2025
https://github.com/fionafibration/owoScript
An OwO based, stack-oriented programming language
antlr4-grammar antlr4-python3 esoteric-programming-language owo owo-whats-this programming-language programming-languages python python3
Last synced: 26 Mar 2025
https://github.com/fionafibration/owoscript
An OwO based, stack-oriented programming language
antlr4-grammar antlr4-python3 esoteric-programming-language owo owo-whats-this programming-language programming-languages python python3
Last synced: 22 Apr 2025
https://github.com/wdv4758h/notes
let me know if my notes help you :D (it's a mess, I know)
android asyncio cpp cpython cross-compile garbage-collection gstreamer linux neovim notes programming-languages pypy python restructuredtext rust taiwan traditional-chinese valgrind webrtc zeromq
Last synced: 02 Dec 2024
https://github.com/lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
programming-language-development programming-languages type-checker type-inference
Last synced: 08 Apr 2025
https://github.com/veyselusta/programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
compilers formal-methods functional-programming interpreters logic programming-languages type-theory
Last synced: 25 Dec 2024
https://github.com/kosh04/newlisp
newLISP mirror repository (unofficial)
c lisp newlisp pcre programming-languages
Last synced: 05 Apr 2025
https://github.com/tpetricek/Teaching
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
education human-computer-interaction lecture-material programming-languages software-engineering
Last synced: 20 Nov 2024
https://github.com/tpetricek/teaching
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
education human-computer-interaction lecture-material programming-languages software-engineering
Last synced: 17 Mar 2025
https://github.com/rafinhadufluxo/materias-uffs
Todo conteúdo do Curso, você encontra aqui 🍩 👾(COLINHA 😂)
contributions-welcome curso grupos materias-uffs open-source productivity programming-languages provas-uffs students trabalhos-academicos uffs university-project
Last synced: 19 Jun 2025
https://github.com/tpetricek/talks
:mortar_board: Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.
fsharp history-and-philosophy programming-languages talk-materials
Last synced: 06 Apr 2025
https://github.com/kvz/ochtra
One Commit Hook To Rule All
command-line commits git hooks programming-languages quality-assurance shell
Last synced: 15 Apr 2025
https://github.com/tekknolagi/tekknolagi.github.com
My personal website
blog compiler hacktoberfest interpreted-languages interpreter jekyll lisp ocaml personal-website portfolio programming-languages static-site
Last synced: 05 Apr 2025
https://github.com/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.
ai deployment help-wanted iac ifc llm low-code programming programming-languages severless
Last synced: 11 May 2025
https://github.com/jukalang/juka
🥣 Juka Programming Language - Fast Portable Programming Language. Run code anywhere without complicated installations and admin rights. Simple, yet powerful new programming language [Easy to code and run on any system] IOT devices supported!
android azure azure-functions cloud compiler console csharp desktop interpreter ios linux macos mobile portable programming programming-language programming-languages tool utility windows
Last synced: 13 Jun 2025
https://github.com/jukaLang/juka
🥣 Juka Programming Language - Fast Portable Programming Language. Run code anywhere without complicated installations and admin rights. Simple, yet powerful new programming language [Easy to code and run on any system] IOT devices supported!
android azure azure-functions cloud compiler console csharp desktop interpreter ios linux macos mobile portable programming programming-language programming-languages tool utility windows
Last synced: 12 Apr 2025
https://github.com/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.
ecla go golang interpreter learning programming-languages
Last synced: 08 Apr 2025
https://github.com/probsys/sppl
Probabilistic programming system for fast and exact symbolic inference
pldi probabilistic-inference probabilistic-programming programming-languages sum-product-networks
Last synced: 27 Nov 2024
https://github.com/astrodevil/programming-basics
This Repository Contains source codes of various programming languages. Please Contribute to make this Useful.
basics beginner-friendly books c community community-classroom-answers contributions-welcome cpp dsa- dsa-bootcamp-java hacktoberfest java open-source programming programming-languages projects resources solutions
Last synced: 07 Apr 2025
https://github.com/barghouthi/cs704
CS 704 course website - Principles of Programming Languages
course graduate-course programming-languages
Last synced: 10 Apr 2025
https://github.com/brendanzab/moniker
Automagical variable binding library for Rust
abstract-binding-trees alpha-equivalence debruijn-indices derive locally-nameless programming-languages rust unbound variable-binding
Last synced: 17 Mar 2025
https://github.com/kagsa/kagsa
KAGSA PROGRAMMING LANGUAGE
compile compiler compiler-frontend console console-application interpreter kagsa kg lang language languages open-source programming programming-language programming-languages python
Last synced: 12 Apr 2025
https://github.com/kvz/invig
🌿 Invig automatically converts ES5 & CoffeeScript codebases to ES6 with Aligned JavaScript Standard Style
coffeescript es6 eslint generator prettier programming-languages standard-js
Last synced: 13 May 2025
https://github.com/samuell/gccontent-benchmark
Benchmarking different languages for a simple bioinformatics task (Counting the GC fraction of DNA in a FASTA file)
benchmarking bioinformatics programming-languages
Last synced: 27 Apr 2025
https://github.com/coala/coast
Universal and language-independent abstract syntax tree
abstract-syntax-tree ast coala jinja2 programming-languages static-site syntax yaml
Last synced: 28 Apr 2025
https://github.com/steshaw/lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
lambda-calculus programming-languages
Last synced: 02 May 2025
https://github.com/henestrosadev/sololearn
Compilation of all SoloLearn courses with their respective projects and practices and all 72 code challenges for all 7 supported languages.
code-challenge code-practice data-science programming-exercises programming-languages python sololearn sololearn-cert sololearn-solutions
Last synced: 16 Mar 2025
https://github.com/yaph/gh-emotional-commits
Scripts for exploring emotions in GitHub messages
data-analysis data-challenge data-visualization emotion github language programming-languages sentiment-analysis visualization
Last synced: 03 Jan 2025
https://github.com/saveourtool/save-cli
Universal test framework for cli tools [mainly for code analyzers and compilers]
compiler compilers kotlin programming-languages static-analysis static-analyzers
Last synced: 09 Apr 2025
https://github.com/aatxe/lute
Luau for General-Purpose Programming
general-purpose luau luau-lang luau-language programming-languages runtime software-development
Last synced: 15 Apr 2025
https://github.com/teknologi-umum/flourite
Automatically detects a programing language from a given string
auto-detection language-detector programming-languages
Last synced: 14 Apr 2025
https://github.com/rajat2502/codeinn
CodeINN is an instant code editor 📃, that makes programming and development easier. Practice quickly and directly from your web browser, without any setup needed. CodeINN gives the perfect environment to developers technologists, coders computers, and geeks 🤓 to do more with their tech.
code-editor coding-tool development fosshack fossunited playground programming-languages react-codemirror2 vscode web web-development
Last synced: 15 Jun 2025
https://github.com/nixinova/linguistjs
Analyse and list all languages used in a folder. Implementation of and powered by GitHub's Linguist.
analyzer cli detect-language folder-analyzer github-linguist language-analysis language-detection language-detector language-statistics languages linguist nixinova programming-languages
Last synced: 16 Jun 2025
https://github.com/2kabhishek/polyquine
source = output, in code 🎨🃏
art c javascript languages perl php polyquine programming-language programming-languages python quine ruby
Last synced: 03 May 2025
https://github.com/mykolav/coollang-2020-fs
Compiler of Cool 2020 (a small Scala subset) into x86-64 assembly, in F#
compiler compiler-design fsharp hobby-compiler language parsing programming-language programming-languages statically-typed toy-compiler x86-64
Last synced: 18 Dec 2024
https://github.com/jaredkrinke/100-languages
Solving the first 100 Project Euler problems using 100 different programming languages!
esolangs polyglot programming-languages project-euler
Last synced: 25 Apr 2025
https://github.com/lablup/backend.ai-kernels
Repository of Backend.AI-enabled container recipes
alpine-linux deep-learning docker programming-languages repl sandbox sorna ubuntu
Last synced: 15 Apr 2025
https://github.com/ekzhang/aoc23-alpha
Advent of Code 2023 in 25 interesting language specimens, A-Z
advent-of-code advent-of-code-2023 algorithms alphabet-soup competitive-programming polyglot programming-languages
Last synced: 13 Mar 2025