Skip to content
Change the repository type filter

All

    Repositories list

    • The official book for the Ruchy language
      TypeScript
      MIT License
      11120Updated Aug 15, 2026Aug 15, 2026
    • aprender

      Public
      Next Generation Machine Learning, Statistics and Deep Learning in PURE Rust
      Rust
      MIT License
      22112148Updated Aug 14, 2026Aug 14, 2026
    • Pragmatic AI Labs MCP Agent Toolkit - An MCP Server designed to make code with agents more deterministic
      Rust
      MIT License
      2716114Updated Aug 14, 2026Aug 14, 2026
    • forjar

      Public
      Rust-native Infrastructure as Code — bare-metal first, BLAKE3 content-addressed state, deterministic provisioning
      Rust
      MIT License
      1114Updated Aug 14, 2026Aug 14, 2026
    • pforge

      Public
      Build production-ready Model Context Protocol servers with zero boilerplate and radical quality enforcement
      HTML
      MIT License
      0320Updated Aug 14, 2026Aug 14, 2026
    • xpile

      Public
      Contract-driven polyglot transpile workbench. Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V, with provable contracts at every layer.
      Rust
      Other
      0300Updated Aug 12, 2026Aug 12, 2026
    • bashrs

      Public
      Bashrs: Rust-to-Shell Transpiler for Deterministic Bootstrap Scripts
      Rust
      MIT License
      336218Updated Aug 12, 2026Aug 12, 2026
    • Pragmatic AI Labs MCP SDK
      Rust
      MIT License
      85398Updated Aug 11, 2026Aug 11, 2026
    • ruchy

      Public
      Ruchy, a systems-oriented scripting language that transpiles to Rust.
      Rust
      MIT License
      462500Updated Aug 11, 2026Aug 11, 2026
    • .github

      Public
      0096Updated Aug 11, 2026Aug 11, 2026
    • copia

      Public
      Pure Rust rsync-style delta synchronization library
      Rust
      MIT License
      3859Updated Aug 11, 2026Aug 11, 2026
    • duende

      Public
      Daemon tooling for Sovereign AI
      Rust
      MIT License
      0153Updated Jul 30, 2026Jul 30, 2026
    • cohete

      Public
      Jetson Nano in Rust
      Rust
      MIT License
      0001Updated Jul 30, 2026Jul 30, 2026
    • pzsh

      Public
      Rust
      MIT License
      0368Updated Jul 30, 2026Jul 30, 2026
    • pepita

      Public
      Tiny Rust Linux Kernal for Soveign AI
      Rust
      MIT License
      14110Updated Jul 30, 2026Jul 30, 2026
    • Make Whisper work with APR model format and run in WASM
      Rust
      MIT License
      73103Updated Jul 30, 2026Jul 30, 2026
    • Examples of .apr format models
      Rust
      MIT License
      3514Updated Jul 6, 2026Jul 6, 2026
    • pmat-book

      Public
      Book on PMAT an MCP tool for making agentic coding reliable from Pragmatic AI Labs
      Shell
      MIT License
      1401Updated Jul 3, 2026Jul 3, 2026
    • SSH from Scratch — a PAIML course: the three layers, host keys & trust, the SSH transport wire format (binary packet, RFC 4251 data types), and a wire-format co…
      Rust
      MIT License
      0100Updated Jun 10, 2026Jun 10, 2026
    • Sockets from Scratch — a PAIML course: the socket API, the connection lifecycle, stream framing (one recv != one message), and a TCP server in Rust (sockwire). …
      Rust
      MIT License
      0000Updated Jun 10, 2026Jun 10, 2026
    • NTP from Scratch — a PAIML course: clock drift, the four-timestamp offset/delay math, the NTP wire format, and an SNTP client in Rust (ntpwire). Styled like rus…
      Rust
      MIT License
      0000Updated Jun 10, 2026Jun 10, 2026
    • DHCP from Scratch — a PAIML course: DORA, the BOOTP wire format, and building a DHCP client codec in Rust (dhcpwire, with bounds-checked options parsing). Style…
      Rust
      MIT License
      0000Updated Jun 10, 2026Jun 10, 2026
    • DNS from Scratch — a PAIML course: names, resolvers, the wire format, and building a stub resolver in Rust (dnswire, with loop-safe name decompression). Styled …
      Rust
      MIT License
      0000Updated Jun 10, 2026Jun 10, 2026
    • Packet Sniffing and Mangling — a PAIML course (authorized/defensive use): capture, decode, and rewrite IPv4/UDP packets in Rust (pktmangle). Styled like rust-de…
      Rust
      MIT License
      0000Updated Jun 10, 2026Jun 10, 2026
    • Network Protocols from Scratch — a PAIML course: UDP, TCP, and building your own reliable protocol in Rust (miniproto). Styled like rust-de-specialization.
      Rust
      MIT License
      0000Updated Jun 10, 2026Jun 10, 2026
    • Network Performance Testing — a PAIML course: diagnose line rate vs goodput in Rust (netprobe). Styled like rust-de-specialization.
      Rust
      MIT License
      0000Updated Jun 10, 2026Jun 10, 2026
    • Pure, Provable & Profitable Machine Learning in Rust — 56-course Coursera Professional Certificate (8 specializations) built on aprender
      Rust
      Other
      0000Updated Jun 10, 2026Jun 10, 2026
    • Rust for Data Engineering: 31-Course Coursera Specialization
      Makefile
      MIT License
      2900Updated May 30, 2026May 30, 2026
    • Record-replay-distill harness proving `apr code` parity with Claude Code. Contract ACTIVE_RUNTIME v1.2.0 — 13 falsifiable gates, all pv-validated, 199 tests, 10…
      Rust
      1400Updated May 29, 2026May 29, 2026
    • Reference Rust workspace for course c9: Shipping Rust — Cargo, CI, Benchmarks & Containers
      Rust
      Apache License 2.0
      1001Updated May 24, 2026May 24, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.