Topic

programming-language

Repositories (1585)

sky
sky anzellai Rust

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

438
lone
lone lone-lang C

The standalone Linux Lisp

435
jule
jule julelang C++

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

435
bass
bass vito Go

a low fidelity scripting language for project infrastructure

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

426
punyforth
punyforth zeroflag Forth

Forth inspired programming language for the ESP8266

421
datafun
datafun rntz TeX

Research on integrating datalog & lambda calculus via monotonicity types

421
vera
vera aallan Python

Vera: a programming language designed for LLMs to write

420
asteria
asteria lhmouse C++

The Asteria Programming Language

419
koral
koral kulics Swift

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

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

413
CheLang
CheLang francodilu Python

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

412
Folders
Folders rottytooth C#

A language where the code is written with folders

412
Melang
Melang Water-Melon C

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

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

405
overview
overview program-in-chinese JavaScript

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

403
ecere-sdk
ecere-sdk ecere eC

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

400
qi
qi AnonymousAAArdvark C

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

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

399
cedille
cedille cedille Agda

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

398
shen-sources
shen-sources Shen-Language Shen

Shen language kernel sources for porters

396
peridot
peridot ehatti Haskell

A fast functional language based on two level type theory

393
aprenda-go
aprenda-go geiltonxavier Go

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

391
pareas
pareas Snektron Futhark

GPU-accelerated compiler

389
miniscript
miniscript JoeStrout C++

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

388
jslogo
jslogo inexorabletash JavaScript

Logo in JavaScript

388
askql
askql CatchTheTornado TypeScript

AskQL is a query language that can express any data request

387
monkey
monkey haifenghuang Go

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

386
kairo
kairo kairolang C++

The language beyond C++

385
endbasic
endbasic endbasic Rust

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

385
Python-100-days
Python-100-days BEPb Python

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

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

379
book
book wenyan-lang JavaScript

文言陰符 An Introduction to Programming in Wenyan Language

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

378
vox
vox MrSmith33 D

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

377
MessiScriptInterpreter
MessiScriptInterpreter Erawaa Python

Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.

372
sui-lang
sui-lang TakatoHonda Python

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

372
nuri
nuri suhdonghwi Haskell

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

372
cparse
cparse cparse C++

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

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

368
mastering-Go-3rd
mastering-Go-3rd mactsouk Go

Source code for Mastering Go, 3rd edition

367
loxcraft
loxcraft ajeetdsouza Rust

Language tooling for the Lox programming language.

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

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

354
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
NeoHaskell
NeoHaskell neohaskell Haskell

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

348
jolt
jolt jolt-lang Scheme

A Clojure compiler implemented on top of Chez Scheme

347
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