rafamadriz/friendly-snippets

Set of preconfigured snippets for different languages.

Language: Lua - Size: 6.59 MB - Last synced at: about 2 hours ago - Pushed at: about 2 months ago - Stars: 2,406 - Forks: 522

uppsala-makerspace/loerdagskurser

Lördagkurser på Uppsala Makerspace

Language: Shell - Size: 606 MB - Last synced at: about 7 hours ago - Pushed at: about 8 hours ago - Stars: 1 - Forks: 2

Intelligent-CAT-Lab/AlphaTrans

Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation", In Proceedings of The ACM Conference on Foundations of Software Engineering (FSE 2025), Trondheim, Norway, June 2025

Language: Java - Size: 49.2 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 23 - Forks: 3

gauntlet-lang/gauntlet

A compile-to-Golang programming language designed to alleviate some of Go's design choices 👾

Language: F# - Size: 139 KB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 134 - Forks: 2

m8nt0/langy

A modern, interactive platform for exploring and comparing programming languages. Built with SvelteKit and TailwindCSS.

Language: TypeScript - Size: 16.3 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 0

oLuqueJs/javascript

JavaScript Repository

Language: JavaScript - Size: 87.9 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

Correia-jpv/fucking-Best-websites-a-programmer-should-visit

🔗 Some useful websites for programmers. With repository stars⭐ and forks🍴

Size: 1.66 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 13 - Forks: 0

anishkarki037/anix

A fast Light-weight Templating Language

Language: JavaScript - Size: 458 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0

frison/100hellos 📦

100 Hello Worlds! 100 Languages!

Language: Shell - Size: 3.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 5 - Forks: 5

lablup/backend.ai-kernels

Repository of Backend.AI-enabled container recipes

Language: Jupyter Notebook - Size: 303 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 33 - Forks: 14

brendanzab/language-garden

A garden of small programming language implementations 🪴

Language: OCaml - Size: 2.01 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 250 - Forks: 6

forkingachild/helloworlds

Hello-World program in most programming languages

Language: Assembly - Size: 356 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 107 - Forks: 8

tekknolagi/tekknolagi.github.com

My personal website

Language: C - Size: 394 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 95 - Forks: 27

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: 3 days ago - Pushed at: 3 days ago - Stars: 293 - Forks: 171

rafinhadufluxo/Materias-UFFS

Todo conteúdo do Curso, você encontra aqui 🍩 👾(COLINHA 😂)

Language: C - Size: 435 MB - Last synced at: about 17 hours ago - Pushed at: 4 days ago - Stars: 94 - Forks: 26

odin-lang/Odin

Odin Programming Language

Language: Odin - Size: 503 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 8,498 - Forks: 774

luau-lang/lute

A standalone Luau runtime for general-purpose programming

Language: C++ - Size: 31.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 108 - Forks: 19

FarshidKeivanian/Sessions_Python

Algorithms developed using Python programming

Language: Python - Size: 30.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 3 - Forks: 2

Dirack/Estudos

Estudos sobre diferentes tópicos de linguagens de programação variadas

Language: TeX - Size: 178 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 2

LinhProgrammingLanguage/Linh

Tinh Linh Programming Language

Language: C++ - Size: 204 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

LambdaAlpha/airlang

The document is a bit outdated because the language is still rapidly developing.

Size: 222 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 0

Mistium/Origin-OS

originOS is a scratch desktop gui made by @Mistium

Language: HTML - Size: 998 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 63 - Forks: 15

azoth-lang/azoth.language.design

The Design of the Azoth Programming Language

Size: 237 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

live-codes/livecodes

A Code Playground That Just Works!

Language: TypeScript - Size: 148 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,030 - Forks: 129

Schrausser/Various_programs

Tools for simple calculations, bootstrapping, permutation tests etc.

Language: Assembly - Size: 395 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

KevinWilsonAT/KevinWilsonAT

My name is Kevin Wilson and I am studying to improve myself.

Size: 35.4 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2 - Forks: 0

Kumpatlapavankumar/Geeks_for_geeks-Data-Structures

Geeksforgeeks using java

Language: Java - Size: 329 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 4 - Forks: 4

SuYirouCrystal/SPICY_4115_PLT

A minimal compiler for the SPICY imperative language, implemented in OCaml. It walks a SPICY source through lexing, parsing, semantic analysis, and code generation to produce executable output.

Language: OCaml - Size: 206 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

rakjija/competitive-programming

competitive-programming

Language: Python - Size: 1.37 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

KadminVN/ptit-code-client-win-x64

Added by KadminVN for people who can't find the source lol

Language: HTML - Size: 197 MB - Last synced at: 6 days ago - Pushed at: 23 days ago - Stars: 3 - Forks: 0

plfa/plfa.github.io

An introduction to programming language theory in Agda

Language: Agda - Size: 189 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,434 - Forks: 334

LambdaAlpha/airlang_rs

It is designed to be a universal, scalable and optimal programming language for problem-solving.

Language: Rust - Size: 2.72 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 12 - Forks: 0

Fluentix-dev/Flu

Official Github Repo for Fluentix: https://fluentix.dev

Language: Python - Size: 649 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 8 - Forks: 1

huidr/langscape

Quick guide to C, Haskell, Julia, Lean, Rust

Language: Rust - Size: 217 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

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: 5.42 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 90 - Forks: 2

elyse502/Practices

Practice makes Perfect💪

Language: Python - Size: 65.7 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

fuseraft/hayward

The Hayward Project

Language: C# - Size: 578 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 0

wumphlett/COMP-3220

Auburn COMP-3220 Programs

Language: Ruby - Size: 1.91 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 1

brendanzab/codespan

Beautiful diagnostic reporting for text-based programming languages.

Language: Rust - Size: 1010 KB - Last synced at: 4 days ago - Pushed at: 9 days ago - Stars: 1,188 - Forks: 63

mit-plv/koika

A core language for rule-based hardware design 🦑

Language: Rocq Prover - Size: 4.54 MB - Last synced at: 2 days ago - Pushed at: 9 days ago - Stars: 156 - Forks: 14

MKAbuMattar/hello-world-api

Hello, World! in All Languages Programming API, This is the initial draft. It's likely to have some flaws, but it'll be improved to be more stable in the future.

Language: TypeScript - Size: 1.12 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2 - Forks: 0

LordUbuntu/hello3000

A collection of roughly 3000 ways to say hello

Language: Assembly - Size: 117 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 9

probsys/sppl

Probabilistic programming system for fast and exact symbolic inference

Language: Python - Size: 6.22 MB - Last synced at: 1 day ago - Pushed at: 11 months ago - Stars: 80 - Forks: 9

adh1446/sirf

Programming language for scripting

Language: Rust - Size: 2.93 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

jwalsh/popl-2025

POPL 2025 conference notes and materials. Focus on AI systems, WebAssembly, and verification.

Language: Shell - Size: 323 KB - Last synced at: about 11 hours ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

dundalek/awesome-lisp-languages

A list of Lisp-flavored programming languages

Size: 64.5 KB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 789 - Forks: 40

vaivaswatha/pliron

An Extensible Compiler IR Framework

Language: Rust - Size: 972 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 177 - Forks: 17

NewHR/telegram

Список интересных телеграм каналов, чатов, груп в сфере IT & Digital

Size: 24.4 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 81 - Forks: 13

Guliveer/UZ

A collection of assignments I've completed during my studies on the University of Zielona Góra since October 2023

Language: C - Size: 114 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 6 - Forks: 1

breck7/pldb

PLDB: a Programming Language DataBase

Language: JavaScript - Size: 756 MB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 768 - Forks: 107

aygp-dr/lisp-dialect-showcase

A showcase of various Lisp dialects implementing common algorithms

Language: Scheme - Size: 48.8 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0

ledihildawan/learn-programming-languages-and-frameworks

A casual collection of code, notes, and projects from my journey learning various programming languages and frameworks.

Language: JavaScript - Size: 240 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0

ogatalars/my_obsidian_vault

Studies repository

Size: 5.43 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 3 - Forks: 1

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.08 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 290 - Forks: 57

TheRenegadeCoder/sample-programs

Sample Programs in Every Programming Language

Language: BASIC - Size: 25.3 MB - Last synced at: 7 days ago - Pushed at: 27 days ago - Stars: 596 - Forks: 595

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: 10 days ago - Pushed at: about 1 year ago - Stars: 3,130 - Forks: 770

capjamesg/visionscript 📦

A high-level programming language for using computer vision.

Language: Python - Size: 13.8 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 343 - Forks: 18

leostera/awesome-alt-langs

Just a list of Awesome Alt Langs to check out

Size: 33.2 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 102 - Forks: 9

rcook/blog-rcook-org

Richard Cook's blog

Language: HTML - Size: 8.17 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Language: Haskell - Size: 1.82 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 123 - Forks: 11

cartabinaria/linguaggi-di-programmazione

Una raccolta di risorse per l'insegnamento di Linguaggi di programmazione (04138) del Corso di Laurea in Informatica.

Language: Typst - Size: 371 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 5 - Forks: 7

Georgecane/kite

Kite is a programming language designed for Digital Signal Processing (DSP) and Audio Processing, written in Zig. Its design emphasizes real-time processing, efficiency, and ease of integration with modern audio workflows.

Size: 5.86 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

jwalsh/lambda-calculus-polyglot

Lambda Calculus implementations in 20+ programming languages: functional, imperative, and logic paradigms

Language: Scheme - Size: 300 KB - Last synced at: about 11 hours ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

RGtechnology/TechExperiments

This repository contains examples of my experiments with new technologies. Here, you'll find various projects and code snippets that showcase my journey of exploring and learning different tools, frameworks, and programming languages. Each example is a step towards mastering new skills and understanding the ever-evolving tech landscape.

Size: 3.2 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

dogweather/forkful

An open-content programming cookbook. A responsible use of AI proof of concept. Collaborative, polyglot and multilingual.

Language: Ruby - Size: 213 MB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 11

orijer/IvritInterpreter

Welcome to Ivrit, a simple Hebrew Programming Language I created! This repository hosts the official Ivrit Interpreter, made in Java, and a thorough tutorial on the syntax of Ivrit.

Language: Java - Size: 30.5 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0

albrud199/CP_Practice

Hello, I try to solve problems!!!

Language: C++ - Size: 139 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0

eigerproject/eigercs

General-purpose programming language with an interpreter written in C#. Contributions welcome.

Language: C# - Size: 481 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 3 - Forks: 0

skubed0007/sip

Sip Lang – No Magic, Just Clear, Explicit Systems Programming.

Language: Rust - Size: 19.4 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0

hummanta/awesome-compilers

An opinionated list of awesome compiler frameworks, libraries, software and resources.

Size: 80.1 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 9 - Forks: 2

scottish-pl-institute/spls

the website for SPLS announcements

Language: HTML - Size: 27.8 MB - Last synced at: 9 days ago - Pushed at: 15 days ago - Stars: 2 - Forks: 2

GanerCodes/moon

glyph-based language that transpiles to python (for now…)

Language: Python - Size: 340 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 21 - Forks: 0

RobertBendun/history

List of all major events in history from programming languages enjoyer perspective

Language: Python - Size: 46.9 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0

gmkzwwg/computer-science-learning-map-cn

(Try to be) a Comprehensive Computer Science Learning Map.

Language: HTML - Size: 3.89 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 195 - Forks: 30

brittojo7n/WebScrap-TT2UserDetails

Totem Tribe 2 Jotun User details (ids and account names) dataset and script for scraping and updating the dataset.

Language: Python - Size: 14.6 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0

techgaun/awesome-programming-presentations

Presentations that programmers should watch

Size: 368 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 265 - Forks: 48

fharookshaik/fibonacci-series

This repository is to write program the famous Fibonacci series in as many different programming languages as we can.

Language: Lua - Size: 5.06 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 20 - Forks: 105

niklas-heer/speed-comparison

A repo which compares the speed of different programming languages.

Language: Earthly - Size: 12 MB - Last synced at: 9 days ago - Pushed at: 8 months ago - Stars: 562 - Forks: 81

scottish-pl-institute/splv

Website for the SPLV summer school series

Language: HTML - Size: 82.6 MB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 4 - Forks: 0

rodrigols89/studies

[ENG/PT-BR] - Theory & Practice.

Language: Jupyter Notebook - Size: 310 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

dustinburda/LoxCpp

Lox (Crafting Interpreters) in C++

Language: C++ - Size: 179 KB - Last synced at: 10 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

Nixinova/LinguistJS

Analyse and list all languages used in a folder. Implementation of and powered by GitHub's Linguist.

Language: TypeScript - Size: 242 KB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 43 - Forks: 12

kmruiz/sonata

Actor-based DDD-first programming language

Language: C++ - Size: 807 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 25 - Forks: 0

Amrita-TIFAC-Cyber-Blockchain/2024_20CYS312_Principles_of_Programming

20CYS312 - Principles of Programming Languages - 6th Sem - B.E. CSE(CYS) - ASC, CBE

Language: Haskell - Size: 73 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 34 - Forks: 78

AdityaBhattacharya1/Chester

Chester is a hobbyist programming language designed for simplicity and experimentation

Language: TypeScript - Size: 1.02 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1 - Forks: 0

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: 8 days ago - Pushed at: 9 months ago - Stars: 506 - Forks: 79

luisaveiro/playground

Docker Compose collection of tech stack samples.

Size: 7.08 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 5

cn0047/stash

🌍 Here you can find brief information about popular Web Development technologies.

Language: JavaScript - Size: 86 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 16 - Forks: 4

the-au-forml-lab/plgroup

Programming Languages Reading Group information and tools.

Language: JavaScript - Size: 1.26 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 1

danielvartan/cran-logs

✨ Shiny Dashboard for CRAN Download Statistics

Language: R - Size: 264 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

fluent-lang/Fluent

Blazing-fast programming language that aims to make programming simple.

Language: Go - Size: 1.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0

AmulyaJain2004/UPES_Courses_through_Notes_and_Codes

Repo for all the resources, labs, and assignments for the programming courses offered at the University of Petroleum and Energy Studies (UPES).

Language: Jupyter Notebook - Size: 45 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 4 - Forks: 0

lucas-bardeli/hello-world

"Hello, World!" in some programming languages.

Language: HTML - Size: 8.79 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

cartabinaria/emerging-programming-paradigms

Una raccolta di risorse per l’insegnamento di Emerging Programming Paradigms (81672) del Corso di Laurea Magistrale in Informatica

Language: Erlang - Size: 20.4 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

rubinius/rubinius

The Rubinius Language Platform

Language: C - Size: 160 MB - Last synced at: 23 days ago - Pushed at: about 2 years ago - Stars: 3,079 - Forks: 602

backface/turtlestitch Fork of jmoenig/Snap

visual, blocks-based programming for turtle graphics and generative embroidery

Language: JavaScript - Size: 1.25 GB - Last synced at: 1 day ago - Pushed at: 28 days ago - Stars: 60 - Forks: 17

gleavy/gleavy.github.io

Size: 3.91 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

vporton/xml-boiler

Automatically transform between XML namespaces in a clever way: https://vporton.github.io/xml-boiler-docs/

Language: Python - Size: 730 KB - Last synced at: 20 days ago - Pushed at: 24 days ago - Stars: 6 - Forks: 1

jaredkrinke/100-languages

Solving the first 100 Project Euler problems using 100 different programming languages!

Language: TypeScript - Size: 492 KB - Last synced at: 19 days ago - Pushed at: about 1 month ago - Stars: 239 - Forks: 12

spamegg1/reviews

Reviewing some online CS courses I took

Language: JavaScript - Size: 1.39 GB - Last synced at: 20 days ago - Pushed at: 3 months ago - Stars: 320 - Forks: 18