📈 GH Trending Explorer 🎲 Surprise me

Search: programming-language · clear

Gabriella439 / grace

A prompt engineering functional programming language

▲ ~0/7d ★ 622 Haskell 🔥 1mo ago
spcl / dace

DaCe - Data Centric Parallel Programming

▲ ~0/7d ★ 596 Python 1d ago
caffeinelabs / motoko

Simple high-level language for writing Internet Computer canisters

▲ ~0/7d ★ 590 OCaml 1d ago
starkware-libs / cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

▲ ~0/7d ★ 587 Rust 21d ago
coi / coi

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

▲ ~0/7d ★ 567 C++ 2d ago
udem-dlteam / ribbit

A portable, compact and extensible Scheme implementation to 25 targets. R4RS compliant.

▲ ~0/7d ★ 567 Scheme 22d ago
fsharp / fslang-design

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

▲ ~0/7d ★ 560 F# 12d ago
zxcalc / pyzx

Python library for quantum circuit rewriting and optimisation using the ZX-calculus

▲ ~0/7d ★ 552 OpenQASM 1d ago
aoiflux / mutant

Mutant is an open-source, garbage-collected programming language that tries to enable security by default.

▲ ~0/7d ★ 541 Go 9d ago
phel-lang / phel-lang

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

▲ ~0/7d ★ 530 PHP 2d ago
VHDL-LS / rust_hdl

A fast VHDL language server and analysis library written in Rust

▲ ~0/7d ★ 515 Rust 16d ago
luxine / CalcKernel

CalcKernel compiler, runtime, tests, examples, documentation, and public releases

▲ ~0/7d ★ 146 Rust 10d ago
regrevia / Revia

Agent-native executable language for AI-native development: Agents build programs; humans govern verifiable semantic graphs.

▲ ~0/7d ★ 93 Shell 1mo ago
1hachem / lisptc

A lisp built for self-modifying AI agents

▲ ~0/7d ★ 51 TypeScript 1d ago
Towow-ai / jpp

J++: an experimental language with standalone source and a Rust runtime. Compose questions and methods. 独立源码,组合问题与方法。

▲ ~0/7d ★ 30 Rust 17d ago
Lulzx / bendc

A self-hosting compiler for Bend 2, written in Bend 2.

▲ ~0/7d ★ 29 C 8d ago
zarkones / Piclang

Piclang is statically typed programming language that compiles to raw position-independent x86-64 shellcode, purpose-built for development of red-team implants.

▲ ~0/7d ★ 27 Go 3mo ago
onurtirpan / agentic-llm-token-and-performance-tests

The same HTTP API in 10 languages at 3 sizes, 30 implementations. Token cost for LLM agents, plus cold start, latency, throughput, CPU and memory. All measured, all verified over live HTTP.

▲ ~0/7d ★ 26 Python 1mo ago
wavect / semaprax

The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership & fully interoperable with existing ecosystems & object-oriented AI Agents with payment capability.

▲ ~0/7d ★ 25 Rust today
ironwood-lang / ironwood

Ironwood is an ahead-of-time compiled, object-oriented language for high-performance native applications. It preserves the familiar Java syntax, object model, and everyday APIs that Java developers already know, while producing optimized native executables with no JVM, JIT, or garbage collector.

▲ ~0/7d ★ 25 Java 11d ago
carbon-language / carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

▲ ~-7/7d ★ 34k C++ 1d ago
dart-lang / sdk

The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

▲ ~-7/7d ★ 11k Dart 🔥 today