Search

Find trending repositories by name or description.

30 results for “programming”

The 30 Days of Python programming challenge is a step-by-step guide to learn the Python programming language in 30 days. This challenge may take more than 100 days. Follow your own pace. These videos may help too: https://www.youtube.com/channel/UC7PNRuno1rzYPb1xLa4yktw

67.4k12.6k

100

#72

mlc-ai/modern-gpu-programming-for-mlsysHTML

A tutorial on modern GPU programming for machine learning systems

73875

#91

codecrafters-io/build-your-own-xMarkdown

Master programming by recreating your favorite technologies from scratch.

522.9k49.5k

#342

agentscope-ai/agentscope-javaJava

AgentScope Java: Agent-Oriented Programming for Building LLM Applications

4.3k930

#371

freeCodeCamp/freeCodeCampTypeScript

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

451.2k45.4kBSD-3-Clause

#437

golang/goGo

The Go programming language

135.1k19.1kBSD-3-Clause

#451

EbookFoundation/free-programming-booksPython

:books: Freely available programming books

391.4k66.5kCC-BY-4.0

#489

python/cpythonPython

The Python programming language

73.6k34.8k

#548

Gentleman-Programming/engramGo

Persistent memory system for AI coding agents. Agent-agnostic Go binary with SQLite + FTS5, MCP server, HTTP API, CLI, and TUI.

4.9k553MIT

#748

Gentleman-Programming/gentle-aiGo

4.7k530MIT

#846

stanfordnlp/dspyPython

DSPy: The framework for programming—not prompting—language models

35.9k3.1kMIT

#1061

red/redRed

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

6.0k413BSL-1.0

#1159

k2-fsa/sherpa-onnxC++

Speech-to-text, text-to-speech, speaker diarization, speech enhancement, source separation, and VAD using next-gen Kaldi with onnxruntime without Internet connection. Support embedded systems, Android, iOS, HarmonyOS, Raspberry Pi, RISC-V, RK NPU, Axera NPU, Ascend NPU, x86_64 servers, websocket server/client, support 12 programming languages

13.4k1.5kApache-2.0

#1197

leanprover/lean4Lean

Lean 4 programming language and theorem prover

8.4k891Apache-2.0

#1445

NVIDIA/stdexecC++

`std::execution`, the standard C++ framework for asynchronous and parallel programming.

2.4k255Apache-2.0

#1582

FStarLang/FStarF*

A Proof-oriented Programming Language

3.1k257Apache-2.0

#1583

tree-sitter/tree-sitterRust

An incremental parsing system for programming tools

26.1k2.8kMIT

#1693

agda/agdaHaskell

Agda is a dependently typed programming language / interactive theorem prover.

2.9k418

#2111

rust-lang/bookRust

The Rust Programming Language

18.0k4.1k

#2365

nim-lang/NimNim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

18.1k1.5k

#2461

nim-works/nimskullNim

An in development statically typed systems programming language; with sustainability at its core. We, the community of users, maintain it.

34638

#2525

BoundaryML/bamlRust

The programming language for agents

8.5k441Apache-2.0

#2566

ciembor/agent-rules-books

AGENTS.md rules / skills for AI coding agents: Codex, Cursor & Claude Code. Inspired by Clean Code, Refactoring, DDD, Clean Architecture and DDIA programming books.

2.1k349MIT

#2641

odin-lang/OdinOdin

Odin Programming Language

11.0k993Zlib

#2649

charlax/professional-programmingPython

A collection of learning resources for curious software engineers

51.2k4.0kMIT

#2873

zufuliu/notepad4C++

Notepad4 (Notepad2⨯2, Notepad2++) is a light-weight Scintilla based text editor for Windows with syntax highlighting, code folding, auto-completion and API list for many programming languages and documents, bundled with file browser plugin matepath.

4.8k307

#2982