All repos — GH Trending Explorer

zurawiki / gptcommit

A git prepare-commit-msg hook for authoring commit messages with LLMs.

jfecher / ante

A safe, easy systems language

rune-rs / rune

An embeddable dynamic programming language for Rust.

Feel-ix-343 / markdown-oxide

PKM Markdown Language Server

uiua-lang / uiua

A tacit array programming language

mun-lang / mun

Source code for the Mun language and runtime.

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

liljencrantz / crush

Crush is a command line shell that is also a powerful modern programming language.

iwe-org / iwe

Markdown knowledge graph — LSP for your editor, CLI + MCP memory for your AI agents

argotorg / fe

Emerging smart contract language for the Ethereum blockchain.

rustfinity / rustfinity

Learn and Practice the Rust programming language the effective way.

learning-rust / learning-rust.github.io

Rust Programming Language Tutorials for Everyone!

ivov / lisette

A little language inspired by Rust that compiles to Go

bytecodealliance / wit-bindgen

A language binding generator for WebAssembly interface types

moonrepo / proto

A pluggable multi-language version manager.

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

aws-cloudformation / cloudformation-guard

Guard offers a policy-as-code domain-specific language (DSL) to write rules and validate JSON- and YAML-formatted data such as CloudFormation Templates, K8s configurations, and Terraform JSON plans/configurations against those rules. Take this survey to provide feedback about cfn-guard: https://amazonmr.au1.qualtrics.com/jfe/form/SV_bpyzpfoYGGuuUl0

StarlightSearch / EmbedAnything

Highly Performant, Modular, Memory Safe and Production-ready Inference, Ingestion and Indexing built in Rust 🦀

inko-lang / inko

A language for building concurrent software with confidence

PHPantom-dev / phpantom_lsp

Fast PHP language server with deep type intelligence. Generics, Laravel, PHPStan annotations. Ready in an instant.

zubanls / zuban

Python Type Checker / Language Server

rue-language / rue

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

betaveros / noulith

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

tombi-toml / tombi

TOML Formatter / Linter / Language Server

pemistahl / lingua-rs

The most accurate natural language detection library for Rust, suitable for short text and mixed-language text

analysis-tools-dev / dynamic-analysis

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

veryl-lang / veryl

Veryl: A Modern Hardware Description Language

facebook / starlark-rust

A Rust implementation of the Starlark language

microsoft / qdk

Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

ehsanmok / create-your-own-lang-with-rust

Create your own programming language with Rust

ad-si / Woxi

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

rust-diplomat / diplomat

Rust tool for generating FFI definitions allowing many other languages to call Rust code

boltffi / boltffi

A high-performance multi-language bindings generator for Rust, up to 1,000x faster than UniFFI. Ship Rust libraries that feels native to Python, Swift, Kotlin, and more

kaspanet / rusty-kaspa

Kaspa full-node reference implementation and related libraries in the Rust programming language

LalitMaganti / syntaqlite

A fast parser, formatter, static analyzer, and language server for SQLite SQL.

Dushistov / flapigen-rs

Tool for connecting programs or libraries written in Rust with other languages

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

stepchowfun / typical

Data interchange with algebraic data types.

bytecodealliance / cranelift-jit-demo

JIT compiler and runtime for a toy language, using Cranelift

togatoga / karukan

Japanese Input Method System for Linux, macOS, Neural Kana-Kanji Conversion Engine

rust-pcap / pcap

Rust language pcap library

AkshitIreddy / Interactive-LLM-Powered-NPCs

Interactive LLM Powered NPCs, is an open-source project that completely transforms your interaction with non-player characters (NPCs) in any game! 🎮🤖🚀

wgsl-analyzer / wgsl-analyzer

A language server implementation for WGSL and WESL

kakoune-lsp / kakoune-lsp

Kakoune Language Server Protocol Client

aovestdipaperino / tokensave

The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations. Pre-indexed semantic knowledge graphs for instant code understanding — fewer tokens, fewer tool calls, 100% local.

litexlang / golitex

Litex: write math, get formalized code. Because the math already is.

calyxir / calyx

Intermediate Language (IL) for Hardware Accelerator Generators

xrelkd / clipcat

A clipboard manager written in Rust Programming Language.

dalance / svls

SystemVerilog language server

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.