Topic

programming-language

Repositories (1502)

Melang
Melang Water-Melon C

A script language of time-sharing scheduling coroutine in single thread

407
qi
qi AnonymousAAArdvark C

Lightweight and fast programming language designed to be written in Chinese.

407
jule
jule julelang C++

Simple and safe programming language with first-class C/C++ interoperability and powerful compile-time capabilities

405
overview
overview program-in-chinese JavaScript

中文编程的历史、现状和展望。issue 中进行相关问题的讨论.

402
CS-and-Programming-Books
CS-and-Programming-Books namvdo

Free computer science, programming books. Code examples, programming project guidlines, and more...

399
Metatheory.jl
Metatheory.jl JuliaSymbolics Julia

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia prog...

399
cedille
cedille cedille Agda

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

394
ecere-sdk
ecere-sdk ecere eC

Ecere SDK (eC Language, Ecere IDE, Cross platform GUI, graphics, and more) — http://ec-lang.org —

394
peridot
peridot ehatti Haskell

A fast functional language based on two level type theory

392
Mond
Mond Rohansi C#

A scripting language for .NET Core

391
sky
sky anzellai Go

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

391
askql
askql CatchTheTornado TypeScript

AskQL is a query language that can express any data request

390
Folders
Folders rottytooth C#

A language where the code is written with folders

387
monkey
monkey haifenghuang Go

Interpreter with support for class, linq, sql, net, http, fmt, json and A realtime syntax highlighting REPL.

386
jslogo
jslogo inexorabletash JavaScript

Logo in JavaScript

385
shen-sources
shen-sources Shen-Language Shen

Shen language kernel sources for porters

385
lone
lone lone-lang C

The standalone Linux Lisp

380
t2b
t2b thosakwe C++

A wicked-powerful text macro language for building binary files.

378
book
book wenyan-lang JavaScript

文言陰符 An Introduction to Programming in Wenyan Language

376
mosml
mosml kfl Standard ML

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

374
sui-lang
sui-lang TakatoHonda Python

粋 (Sui) - A programming language optimized for LLM code generation

373
Clue
Clue ClueLang Rust

C/Rust like programming language that compiles into Lua code

373
nuri
nuri suhdonghwi Haskell

누리 : 함수형 한글 프로그래밍 언어

371
vox
vox MrSmith33 D

Vox language compiler. AOT / JIT / Linker. Zero dependencies

370
pareas
pareas Snektron Futhark

GPU-accelerated compiler

370
aprenda-go
aprenda-go geiltonxavier Go

:books: Central de conhecimentos sobre a linguagem de programação Go

367
kairo
kairo kairolang C++

Control everything. Compromise nothing.

366
endbasic
endbasic endbasic Rust

BASIC environment with a REPL, a web interface, a graphical console, and RPi support written in Rust

366
cparse
cparse cparse C++

A C++ configurable Expression Parser. Useful as a Calculator or for helping you write your own Programming Language

362
miniscript
miniscript JoeStrout C++

source code of both C# and C++ implementations of the MiniScript scripting language

361
mastering-Go-3rd
mastering-Go-3rd mactsouk Go

Source code for Mastering Go, 3rd edition

361
PythonPersianTutorial
PythonPersianTutorial saeiddrv CSS

"Python in Persian" is an open-source online book that offers a comprehensive tutorial on the Python programming language in Persian.

360
loxcraft
loxcraft ajeetdsouza Rust

Language tooling for the Lox programming language.

359
bitloops-language
bitloops-language bitloops TypeScript

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable,...

359
Ultimate-Java-Resources
Ultimate-Java-Resources sPredictorX1708 Java

Java programming. All in one Java Resource for learning. Updated every day and up to date. All Algorithms and DS along with Development in Java. Begin...

352
letgo
letgo wjpxxx Go

golang,web high-performance Lightweight web framework for the Go programming language. golang web framework,高可用golang web框架,go语言 web框架 ,go we...

350
quine
quine makenowjust Eiffel

Quine Museum

347
NeoHaskell
NeoHaskell neohaskell Haskell

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

346
candy
candy candy-lang Rust

🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.

343
nimskull
nimskull nim-works Nim

An in development statically typed systems programming language; with sustainability at its core. We, the community of users, maintain it.

339
Clojush
Clojush lspector Clojure

The Push programming language and the PushGP genetic programming system implemented in Clojure.

337
StaticScript
StaticScript StaticScript C++

A new statically typed programming language, syntactically like TypeScript.

331
ciao
ciao ciao-lang Prolog

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

331
agora
agora mna Go

a dynamically typed, garbage collected, embeddable programming language built with Go

328
quack
quack quack PHP

:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

326
bamboo
bamboo pirapira OCaml

Bamboo see https://github.com/cornellblockchain/bamboo

324
concrete
concrete lambdaclass LLVM

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain...

321
alan
alan alantech Rust

Autoscalable Programming Language

319
naturalcc
naturalcc CGCL-codes Python

NaturalCC: An Open-Source Toolkit for Code Intelligence

318
psvg
psvg LingDong- TypeScript

Programmable Scalable Vector Graphics -- drawings that draw themselves

316