Topic

programming-language

Repositories (1585)

malgo
malgo takoeight0821 Lean

A statically typed functional programming language.

45
Sharp
Sharp AndroDevcd C++

The Sharp programming language

45
orc
orc orc-lang Scala

Orc programming language implementation

45
Krivine-Machine
Krivine-Machine techcentaur OCaml

Abstract krivine machine implementing call-by-name semantics. In OCaml.

45
snekky
snekky snekkylang Haxe

The Snekky Programming Language

45
leema
leema mdg Rust

A functional programming language designed for concurrency and failure

45
blacklight
blacklight acook Go

a stack-based concatenative virtual machine for implementing highly concurrent languages

45
GreyMatter
GreyMatter Abineshabee Python

👽 GreyMatter: New Programming Language Using Python ( Toy Language )

44
CAIE_Code
CAIE_Code iewnfod Python

An Interpreter for CAIE Pseudocode

44
aurora
aurora aurora-pl Kotlin

The Aurora Programming Language

44
A1
A1 Adamnite C++

A1 is a high-level pythonic programming language for developing smart contracts on the Adamnite blockchain. With its light syntax, it primarily strive...

44
Zen
Zen itssamuelrowe C

Zen is a general purpose programming language designed to build simple, reliable and efficient programs.

44
lit
lit egordorichev C

Lit scripting language

44
whitecat-ide
whitecat-ide whitecatboard JavaScript

The Whitecat IDE, to program the ecosystem in Blocks or Lua

44
encore
encore parapluu C++

The Encore compiler.

44
kpd
kpd felixangell D

compiler for a made up language written in D

44
roda
roda fergusq Java

Röda: A stream-oriented scripting language

44
quark-editor
quark-editor Sheshank-s JavaScript

Quark Editor. A real time HTML editor, with support for Java and Python too. By Sheshank Shankar

44
HTVM
HTVM TheMaster1127 C++

HTVM: The Adaptive, Multi-Language, Customizable Syntax and Code Generation Engine. HTVM is a powerful engine that allows you to design your own progr...

43
argentum
argentum karol11 C++

Argentum Programming Language

43
Python-for-social-scientists
Python-for-social-scientists hejibo Jupyter Notebook

Python for Social Scientists

43
xducs
xducs silence-tang Jupyter Notebook

西电计科课程源码分享

43
the
the thelang-io C++

The Programming Language

43
Kaveh-Common-Lisp-Lessons
Kaveh-Common-Lisp-Lessons kaveh808 Common Lisp

Common Lisp programming tutorials

43
chili
chili r0nsha Rust

General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™

43
RustScript2
RustScript2 mkhan45 OCaml

RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

43
mvs-calculus
mvs-calculus kyouko-taiga Swift

Compiler for Swiftlet

43
whistle
whistle whistle-lang Rust

🕴 One hella programming language

43
asteroid
asteroid asteroid-lang Python

Asteroid is a modern, multi-paradigm programming language that supports first-class patterns.

43
qsel
qsel dabacon Python

Quantum programming language putting entanglement and superposition front and center

43
jingle
jingle jingle-lang C#

🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.

43
baik-next
baik-next baik-lang Rust

Baik Language Next Release

43
Formality-Core
Formality-Core Soonad JavaScript

Specification of the Formality proof and programming language

43
Ruscall
Ruscall elipmoc Rust

自作言語処理系のコンパイラ制作

43
Rubix-lang
Rubix-lang tek-sys-hub Assembly

The 100% Pure x86-64 Assembly Systems Language

42
Glide
Glide glide-lang C

A general-purpose language that just glides.

42
prowl
prowl UberPyro OCaml

WIP stack language that uses regex for control flow

42
holymer
holymer azur1s Rust

(WIP) A programming language

42
UNITN-linguaggi-programmazione-SML
UNITN-linguaggi-programmazione-SML Pater999 Standard ML

Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).

42
foolang
foolang nikodemus Smalltalk

A toy programming language.

42
mlang
mlang MQuy C++

My toy programming languages

42
aument
aument aument-lang C

simple and fast scripting language

42
lunar
lunar lunarlang Lua

Lunar was a superset programming language of Lua 5.1 with optional static typing, inspired by TypeScript and Ruby.

42
ggnn.tensorflow
ggnn.tensorflow bdqnghi Java

Tensorflow implementation of Gated Graph Neural Network for Source Code Classification

42
mozart-graal
mozart-graal eregon Oz

An implementation of Oz on top of Truffle and Graal

42
huginn
huginn AmokHuginnsson C++

Programming language with no quirks, so simple every child can master it.

42
hale
hale hale-lang Rust

The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less language, more c...

41
Yo
Yo shd101wyy Python

[WIP NOT READY] Yo (柚) - A programming language that's LLM-friendly to write and human-friendly to read

41
omnilua
omnilua ianm199 HTML

Every Lua, everywhere — pure-Rust Lua 5.1-5.5, suite-passing, LuaRocks-compatible, wasm-ready.

41
doolang
doolang nynrathod Rust

Type-safe language for building APIs fast. Auth, CRUD, and deployment built-in, written in rust & llvm

41