Topic

programming-language

Repositories (1502)

NatsuLang
NatsuLang NatsuLang C++
97
Headache
Headache LucasMW C

Programming Language that compiles to 8 Bit Brainfuck

96
Hexa
Hexa hexalang TypeScript

:bowtie: Compiler, standard library & backends

96
lets-go
lets-go ntk148v Go

Let's Go!

96
TinyAPL
TinyAPL RubenVerg Haskell

TinyAPL, a tiny APL dialect and interpreter in Haskell

95
cicada-plct
cicada-plct cicada-lang TypeScript

Cicada Language (PLCT little team)

95
Jazz
Jazz jazz-lang Rust

Jazz - modern and fast programming language.

95
silver
silver viperproject Scala

Definition of the Viper intermediate verification language.

95
HackerRank
HackerRank MrinmoiHossain C++

HackerRank Online Judge Problem Solutions included Algorithms, Data Structure, Mathematics, Programming Language

94
vedic-lang.github.io
vedic-lang.github.io vedic-lang SCSS

Vedic language - Online Documentation and Compiler

94
Tsharp
Tsharp Tsharp-lang Go

🦕 Stack-oriented, interpreted, dynamic typed, general-purpose programming language written in Go ʕ◔ϖ◔ʔ.

94
rill
rill yutopp OCaml

Statically typed system programming language for 文鳥

94
plato
plato cdiggins C#

A simple and efficient cross-platform programming language.

93
battlestar
battlestar xyproto Go

:dizzy: A different take on Assembly, with the goal of creating tiny executables.

93
cex
cex alexveden C

Cex.C - Comprehensively EXtended C Language

91
ClojureWasm
ClojureWasm clojurewasm Zig

An independent Clojure runtime implemented in Zig, optimized for high-performance native execution and deep WebAssembly runtime integration.

91
thingtalk
thingtalk stanford-oval TypeScript

The Programming Language of Virtual Assistants

91
uno
uno fuse-open C#

Extremely fast, native C#-dialect and powerful tooling for mobile and desktop developers

91
Dachs
Dachs rhysd C++

Dachs; A Doggy :dog: Programming Language

91
CSpydr
CSpydr Spydr06 C

A static typed low-level compiled programming language inspired by Rust and C

90
vanilla-lang
vanilla-lang zehaochen19 Haskell

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

90
v0.83
v0.83 miniBloq Python

miniBloq.v0.83

90
aether
aether nicolasmd87 C

A compiled actor-based programming language with type inference, designed for concurrent systems.

89
BCause
BCause Spydr06 C

BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.

89
progex
progex ghaffarian Java

PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code

89
categorized-websites
categorized-websites alidehkhodaei SCSS

📚 An organized list of websites categorized by topic

88
aceto
aceto aceto Python

A programming language based on a 2D Hilbert curve grid

88
zkay
zkay eth-sri Python

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contract...

88
keisan
keisan project-eutopia Ruby

A Ruby-based expression parser, evaluator, and programming language

87
aixt
aixt fermarsan V

Microcontrollers programming framework based on Vlang.

86
ordo
ordo FrankBro Rust

Ordo: A minimalist language with row polymorphism

86
jactl
jactl jaccomoc Java

A secure, embeddable, scripting language for Java-based applications.

85
pyswahili
pyswahili Kalebu Python

A Swahili version of programming language to allow Swahili speakers get started with programming

85
bullseye
bullseye thosakwe Dart

[WIP] A pure functional language that compiles to Dart.

84
egel
egel egel-lang C++

The Egel Programming Language

84
awesome-aha
awesome-aha jondot

Awesome list for "Aha!" moments related to programming and computer science. Accelerate your learning.

84
plush
plush maximecb Rust

Minimalistic dynamically-typed language for fun, teaching and creative programming.

84
spice
spice spicelang C++

Spice Programming Language

84
terlang
terlang terroo C++

Programming language for scripting with syntax similar to C++

84
csstuff
csstuff Spacial TeX

CS Stuff is an awesome collection of Computer Science Stuff.

83
iolang
iolang zephyrtronium Go

Io, the language, in Go, the language

83
CSharp8CheatSheet
CSharp8CheatSheet alugili

C# 8 Cheat Sheet, Default Interface Methods, Pattern Matching, Indices and Ranges, Nullable Reference Types, Asynchronous Streams, Caller Expression A...

83
YuLang
YuLang MaxXSoft C++

The Yu (羽) programming language.

82
sona.js
sona.js dmadisetti JavaScript

a simple language with a 1000 character interpreter inspired by toki pona

82
facet
facet facet-lang Haskell

a functional programming language with algebraic effects and handlers

82
Programming_In_Java_NPTEL
Programming_In_Java_NPTEL bkkothari2255

This site is to share the solution of prgramming and quiz assignment given during the Programming In java by Prof. Debasis Samantha on NPTEL.

82
deeplang
deeplang deeplang-org

Deeplang is a new language for IoT device programming.

82
goto
goto pandeykartikey Go

Goto is an interpreted programming language written in go.

81
sacalon
sacalon sacalon Python

Sacalon is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.

81
narc-rs
narc-rs owo-lang Rust

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

80