dafny-lang / dafny
Dafny is a verification-aware programming language
dafny-lang / dafny
dlang / dmd
dmd D Programming Language compiler
PlummersSoftwareLLC / Primes
Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness
ispc / ispc
Intelยฎ Implicit SPMD Program Compiler
sharkdp / numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
flix / flix
The Flix Programming Language
pedropark99 / zig-book
An open, technical and introductory book for the Zig programming language ๐๐
mattwparas / steel
An embedded scheme interpreter in Rust
moonbitlang / moonbit-docs
The docs of MoonBit programming language
CatalaLang / catala
Programming language for literate programming law specification
qosf / awesome-quantum-software
Curated list of open-source quantum software projects.
rune-rs / rune
An embeddable dynamic programming language for Rust.
nature-lang / nature
The Nature Programming Language
darklang / dark
Darklang main repo, including language, backend, and infra
michelpereira / awesome-games-of-coding
A curated list of games that can teach you how to learn a programming language.
chapel-lang / chapel
a Productive Parallel Programming Language
ValeLang / Vale
Compiler for the Vale programming language - http://vale.dev/
fusionlanguage / fut
Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.
lamdu / lamdu
lamdu - towards the next generation IDE
factor / factor
Factor programming language
metacall / core
MetaCall: The ultimate polyglot programming experience.
LuxLang / lux
The Lux Programming Language
beam-community / elixir-companies
A list of companies currently using Elixir in production.
electrikmilk / cherri
Siri Shortcuts Programming Language ๐
IntersectMBO / plutus
The Plutus language implementation and tools
ivov / lisette
A little language inspired by Rust that compiles to Go
plfa / plfa.github.io
An introduction to programming language theory in Agda
live-codes / livecodes
A Code Playground That Just Works!
ngs-lang / ngs
Next Generation Shell (NGS)
objectionary / eo
EOLANG, an Experimental Pure Object-Oriented Programming Language Based on ๐-Calculus
ring-lang / ring
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
titzer / virgil
A fast and lightweight native programming language
noir-lang / noir
Noir is a domain specific language for zero knowledge proofs
inko-lang / inko
A language for building concurrent software with confidence
mfaisalkhatri / awesome-learning
A curated list of awesome learning resources for a Software Test Automation Engineer
maximecb / noisecraft
Browser-based visual programming language and platform for sound synthesis.
CakeML / cakeml
CakeML: A Verified Implementation of ML
rue-language / rue
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
NVIDIA / cuda-quantum
C++ and Python support for the CUDA Quantum programming model for heterogeneous quantum-classical workflows
erweixin / langshift.dev
๐ Programming language learning platform for developers. Master new languages through comparison learning. Interactive editor, performance monitoring, multi-language support.
microsoft / qdk
Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas
ProjectQ-Framework / ProjectQ
ProjectQ: An open source software framework for quantum computing
ehsanmok / create-your-own-lang-with-rust
Create your own programming language with Rust
xodio / xod
XOD IDE
egison / egison
The Egison Programming Language
kalandra-lang / kalandra
Kalandra is a functional, parallel, distributed programming language.
kip-dili / kip
A programming language in Turkish where grammatical case and mood are part of the type system.
tcltk / tcl
The Tcl Core. (Mirror of core.tcl-lang.org)
c2lang / c2compiler
the c2 programming language
breck7 / pldb
PLDB: a Programming Language DataBase
NucleoidAI / Nucleoid
Synthesized Logic Language for World Models ๐ฑ๐๐
cmajor-lang / cmajor
The Cmajor public repository
niklas-heer / speed-comparison
A repo which compares the speed of different programming languages.
ArkScript-lang / Ark
ArkScript is a small, fast, functional and scripting language for C++ projects
Zigistry / Zigistry
A place where you can find all the libraries that suit your Zig lang needs. โญ๏ธ Please star to support this work!
refaktor / rye
Programming and interaction language. Flexible about syntax, strict about state.
karl-zylinski / karl2d
Odin 2D game library. Beginner friendly and easy to modify.
PlutoLang / Pluto
A superset of Lua 5.5 with a focus on general-purpose programming.
onyx-lang / onyx
โจ The compiler and developer toolchain for Onyx
silq-lang / silq
Silq quantum programming language type checker, compiler, and experimental interpreter.