Topic

programming-language

Repositories (1502)

SPATool
SPATool SummerSec Java

静态程序分析工具 主要生成方法的CFG和.java文件的AST

134
pashmak
pashmak pashmaklang Python

The Pashmak Programming Language

134
inet-cute
inet-cute xieyuheng TypeScript

An implementation of interaction nets in JS.

133
RiA3
RiA3 Rkabacoff R

Source code for Kabacoff, R. R in Action (3rd edition). Manning: Boca Raton, FL.

133
Own-Programming-Language-Tutorial
Own-Programming-Language-Tutorial aNNiMON Java

Source code for course "How to create your own programming language"

133
Tiny-Lua-Compiler
Tiny-Lua-Compiler bytexenon Lua

⛄Possibly the smallest Lua compiler ever

133
unseemly
unseemly paulstansifer Rust

Macros have types!

133
river
river nicbarker TypeScript

River is an experimental assembly-like programming language.

132
magpie
magpie haifenghuang Go

:bird: Successor of my monkey Interpreter(support for class, linq, sql, net, http, fmt, json and A realtime syntax highlighting REPL).

132
mys
mys mys-lang Python

The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-lang.org for...

132
typr
typr we-data-ch Rust

A safer complement of R, the legendary programming language for statistic and datasciences !

132
angle
angle pannous Python

⦠ Angle: new speakable syntax for python 💡

132
rustbook-de
rustbook-de rust-lang-de Markdown

Deutsche Gemeinschafts-Übersetzung des offiziellen Rust-Buchs

131
lice
lice lice-lang Kotlin

A multi-paradigm programming language running on JVM

131
Adept
Adept AdeptLanguage C

The Adept Programming Language

131
mpc
mpc markkurossi Go

Secure Multi-Party Computation (MPC) framework written in Go. Implements two-party garbled circuits (Yao) and the Goldreich-Micali-Wigderson (GMW) pro...

131
cicada-solo
cicada-solo cicada-lang TypeScript

Cicada Language (solo version)

129
smudge
smudge smudgelang Haskell

A domain-specific language for state machines.

129
jstar
jstar bamless C

A lightweight embeddable scripting language

128
FreakC
FreakC FreakC-Foundation Batchfile

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

128
guppylang
guppylang Quantinuum Python

Pythonic quantum-classical programming language

127
theseus
theseus chessai Haskell

theseus, functional programming language with fully reversible computation

127
ttlite
ttlite ilya-klyuchnikov Scala

A SuperCompiler for Martin-Löf's Type Theory

126
claw-lang
claw-lang esoterra Rust

The compiler for the Claw language

126
rowscript
rowscript rowscript Rust

RowScript programming language, making a better browser world

126
tur
tur rezigned Rust

Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.

126
LSTS
LSTS Lambda-Mountain-Compiler-Backend

Large Scale Type Systems: ML/C Hybrid Programming Language

125
lispBM
lispBM svenssonjoel C

An interpreter for a concurrent lisp with message-passing and pattern-matching.

125
sus-compiler
sus-compiler pc2 Rust

A new Hardware Design Language that keeps you in the driver's seat

125
basil
basil basilTeam C++

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

124
boson-lang
boson-lang Narasimha1997 Rust

A hybrid programming language written in Rust.

124
nelson
nelson nelson-lang C++

The Nelson Programming Language

124
catspeak-lang
catspeak-lang katsaii Game Maker Language

A cross-platform modding language for GameMaker games.

123
sacara
sacara enkomio F#

Sacara VM

123
esjs
esjs es-js TypeScript

JavaScript con sintaxis en Español | Lenguaje de programación en Español basado en JavaScript

122
sidef
sidef trizen Perl

Sidef is a modern, expressive programming language that combines the elegance of Ruby, the versatility of Raku, and the mathematical power of a built-...

122
scout-lang
scout-lang maxmindlin Rust

A web crawling programming language

122
Grapycal
Grapycal Grapycal Python

A graphical and highly interactive programming language

122
myst
myst myst-lang Crystal

A structured, dynamic, general-purpose language.

121
minitt-rs
minitt-rs owo-lang Rust

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

121
hook
hook hook-lang C

The Hook Programming Language

120
lumina
lumina luminalang Rust

Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compiler-driven deve...

120
magelang
magelang jauhararifin Rust

Magelang is a programming language targeting webassembly

120
wa
wa wa-lang Go

凹(Wa)语言(The Wa Programming Language)

120
temper
temper temperlang Kotlin

A programming language for libraries translated to all the others

120
redtamarin
redtamarin Corsaair ActionScript

AS3 running on the command line / server side

119
awesome-brainfuck
awesome-brainfuck cagataycali Brainfuck

🦄 Brainfuck is an esoteric programming language 🦄

118
lambdapi
lambdapi ilya-klyuchnikov Haskell

Dependently Typed Lambda Calculus in Haskell

118
typoscript
typoscript kurehajime JavaScript

TypoScript is JavaScript-like language with typos. Some typos in variable and function names are acceptable.

117
Ncodi
Ncodi azizamari C#

Tunisian Programming Language, Ncodi - Code in your own words.

117