Topic

programming-language

Repositories (1538)

punyforth
punyforth zeroflag Forth

Forth inspired programming language for the ESP8266

421
Online-Courses-Learning
Online-Courses-Learning MrinmoiHossain JavaScript

Contains the online course about Data Science, Machine Learning, Programming Language, Operating System, Mechanial Engineering, Mathematics and Roboti...

421
koral
koral kulics Swift

An open source cross-platform programming language focused on efficiency.

419
datafun
datafun rntz TeX

Research on integrating datalog & lambda calculus via monotonicity types

419
CheLang
CheLang francodilu Python

CheLang es un lenguaje de programación esotérico argento. Ni más, ni menos. Es la que va.

411
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.

408
Melang
Melang Water-Melon C

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

406
overview
overview program-in-chinese JavaScript

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

402
qi
qi AnonymousAAArdvark C

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

401
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...

401
ecere-sdk
ecere-sdk ecere eC

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

399
vera
vera aallan Python

Vera: a programming language designed for LLMs to write

399
CS-and-Programming-Books
CS-and-Programming-Books namvdo

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

399
Mond
Mond Rohansi C#

A scripting language for .NET Core

396
shen-sources
shen-sources Shen-Language Shen

Shen language kernel sources for porters

395
cedille
cedille cedille Agda

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

394
peridot
peridot ehatti Haskell

A fast functional language based on two level type theory

394
askql
askql CatchTheTornado TypeScript

AskQL is a query language that can express any data request

388
jslogo
jslogo inexorabletash JavaScript

Logo in JavaScript

387
monkey
monkey haifenghuang Go

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

386
Folders
Folders rottytooth C#

A language where the code is written with folders

386
aprenda-go
aprenda-go geiltonxavier Go

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

384
endbasic
endbasic endbasic Rust

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

384
kairo
kairo kairolang C++

The language beyond C++

384
miniscript
miniscript JoeStrout C++

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

382
pareas
pareas Snektron Futhark

GPU-accelerated compiler

381
book
book wenyan-lang JavaScript

文言陰符 An Introduction to Programming in Wenyan Language

379
Clue
Clue ClueLang Rust

C/Rust like programming language that compiles into Lua code

379
t2b
t2b thosakwe C++

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

378
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...

375
vox
vox MrSmith33 D

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

373
nuri
nuri suhdonghwi Haskell

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

371
sui-lang
sui-lang TakatoHonda Python

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

371
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.

370
cparse
cparse cparse C++

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

366
loxcraft
loxcraft ajeetdsouza Rust

Language tooling for the Lox programming language.

365
mastering-Go-3rd
mastering-Go-3rd mactsouk Go

Source code for Mastering Go, 3rd edition

363
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,...

357
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

349
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.

348
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.

347
NeoHaskell
NeoHaskell neohaskell Haskell

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

346
ixion
ixion ixionlang Kotlin

🔮 modern scripting programming language

345
candy
candy candy-lang Rust

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

344
Clojush
Clojush lspector Clojure

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

340
concrete
concrete lambdaclass Lean

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

333
Python-100-days
Python-100-days BEPb Python

Изучи питон / python за 100 дней

333
StaticScript
StaticScript StaticScript C++

A new statically typed programming language, syntactically like TypeScript.

331
agora
agora mna Go

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

327