Topic

programming-language

Repositories (1502)

CS_Offer
CS_Offer rongweihe

后台开发基础知识总结(春招/秋招)

587
cairo-vm
cairo-vm starkware-libs Rust

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr...

582
motoko
motoko caffeinelabs OCaml

Simple high-level language for writing Internet Computer canisters

581
dace
dace spcl Python

DaCe - Data Centric Parallel Programming

581
dg
dg pyos Python

A programming language for the CPython VM.

580
Gwion
Gwion Gwion C

:musical_note: strongly-timed musical programming language

577
ink
ink thesephist Go

Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.

576
Project-Guidance
Project-Guidance Kushal997-das Jupyter Notebook

:octocat:🌟 The Ultimate resources for beginner to advanced level projects all in one place 💻 🎯🚀

573
hexagony
hexagony m-ender Ruby

A two-dimensional, hexagonal programming language.

572
Free-Courses
Free-Courses Leocardoso94 TypeScript

A collection of free courses about programming :book:

565
my_basic
my_basic paladin-t C

A lightweight BASIC interpreter written in standard C in dual files. Aims to be embeddable, extendable and portable.

561
wyvern
wyvern wyvernlang Java

The Wyvern programming language.

560
pl-docs
pl-docs FrankHB

Programming Language Documentations

560
grace
grace Gabriella439 Haskell

A prompt engineering functional programming language

557
completely-unscientific-benchmarks
completely-unscientific-benchmarks frol C++

Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pasca...

556
jolie
jolie jolie Java

The Jolie programming language

556
cone
cone jondgoodwin C

Cone Programming Language

556
fslang-design
fslang-design fsharp F#

RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas

548
coi
coi coi C++

A type-safe, component-based language for building reactive WASM web apps.

546
malbolge-lisp
malbolge-lisp iczelia TeX

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

545
cadence
cadence onflow Go

Cadence, the resource-oriented smart contract programming language 🏃‍♂️

545
Introduction-to-touchdesigner
Introduction-to-touchdesigner interactiveimmersivehq CSS

Open source introductory manual for Derivative TouchDesigner 088

544
solar
solar paradigmxyz Rust

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

539
wasm-by-example
wasm-by-example torch2424 JavaScript

Wasm By Example is a website with a set of hands-on introduction examples and tutorials for WebAssembly (Wasm)

524
juvix
juvix anoma Haskell

A language for intent-centric and declarative decentralised applications

510
latino
latino lenguaje-latino Rich Text Format

Lenguaje de programación de código abierto para latinos y de habla hispana.

503
golo-lang
golo-lang eclipse-archived Java

Golo - a lightweight dynamic language for the JVM.

492
swapview-rosetta
swapview-rosetta lilydjwg Rust

Print swap usage per process. Implemented in various programming languages

489
topshell
topshell topshell-language Scala

TopShell - a purely functional, reactive scripting language

484
wu
wu wu-lang Rust

🐉 A practical game and data language

483
goboscript
goboscript aspizu Rust

goboscript is the Scratch compiler

481
phel-lang
phel-lang phel-lang PHP

A functional, Lisp-inspired language that compiles to PHP. Inspired by Clojure, Phel brings macros, persistent data structures, and expressive functio...

480
lbForth
lbForth larsbrinkhoff Forth

Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.

478
mson
mson redgeoff JavaScript

🏗️MSON Lang: Generate an app from JSON

474
kuroko
kuroko kuroko-lang Python

Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.

474
mazeppa
mazeppa hirrolot OCaml

A modern supercompiler for call-by-value functional languages

472
pLam
pLam slovnicki Haskell

An interpreter for learning and exploring pure λ-calculus

469
pen
pen pen-lang Rust

The parallel, concurrent, and functional programming language for scalable software development

469
never
never never-lang C

Never: statically typed, embeddable functional programming language.

463
wain
wain rhysd Rust

WebAssembly implementation from scratch in Safe Rust with zero dependencies

460
lurk-beta
lurk-beta lurk-lab Rust

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

450
programming-languages-logos
programming-languages-logos abranhe Shell

Programming Languages Logos

436
crust
crust NishanthSpShetty Rust

C/C++ to Rust transpiler

435
asteria
asteria lhmouse C++

The Asteria Programming Language

423
bass
bass vito Go

a low fidelity scripting language for project infrastructure

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

419
koral
koral kulics Swift

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

417
datafun
datafun rntz TeX

Research on integrating datalog & lambda calculus via monotonicity types

417
CheLang
CheLang francodilu Python

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

412