Skip to content

@paiml Pragmatic AI Labs

Change the repository type filter

All

    Repositories list

    188 repositories

    • aprender

      Public
      Next Generation Machine Learning, Statistics and Deep Learning in PURE Rust
      ruststatisticsdeep-learning
      ruststatisticsdeep-learningmodelsmlsovereign-aipaiml-monorepo
      Rust
      •
      MIT License
      •20•100•17•1•Updated Jun 12, 2026Jun 12, 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
      •0•1•0•0•Updated Jun 11, 2026Jun 11, 2026

    • paiml-mcp-agent-toolkit

      Public
      Pragmatic AI Labs MCP Agent Toolkit - An MCP Server designed to make code with agents more deterministic
      kotlinpythonc
      kotlinpythoncrusttypescripttoolkitmcpdenoagenticpmcp
      Rust
      •
      MIT License
      •26•153•0•0•Updated Jun 11, 2026Jun 11, 2026

    • pmat-book

      Public
      Book on PMAT an MCP tool for making agentic coding reliable from Pragmatic AI Labs
      paiml-read-onlypaiml-legacy-book
      paiml-read-onlypaiml-legacy-book
      Shell
      •
      MIT License
      •1•4•0•1•Updated Jun 11, 2026Jun 11, 2026

    • pforge

      Public
      Build production-ready Model Context Protocol servers with zero boilerplate and radical quality enforcement
      rustframeworkmcp
      rustframeworkmcppaiml-active-tool
      HTML
      •
      MIT License
      •0•3•2•0•Updated Jun 11, 2026Jun 11, 2026

    • ruchy-book

      Public
      The official book for the Ruchy language
      rustbookmcp
      rustbookmcpscriptingwasmruchypaiml-lang-ruchy
      TypeScript
      •
      MIT License
      •1•11•2•0•Updated Jun 11, 2026Jun 11, 2026

    • ssh-from-scratch

      Public
      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
      •0•1•0•0•Updated Jun 10, 2026Jun 10, 2026

    • sockets-from-scratch

      Public
      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
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • ntp-from-scratch

      Public
      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
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • dhcp-from-scratch

      Public
      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
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • dns-from-scratch

      Public
      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
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • packet-sniffing-and-mangling

      Public
      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
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • network-protocols-from-scratch

      Public
      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
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • network-performance-testing

      Public
      Network Performance Testing — a PAIML course: diagnose line rate vs goodput in Rust (netprobe). Styled like rust-de-specialization.
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • rust-ml-specialization

      Public
      Pure, Provable & Profitable Machine Learning in Rust — 56-course Coursera Professional Certificate (8 specializations) built on aprender
      Rust
      •
      Other
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • rust-mcp-sdk

      Public
      Pragmatic AI Labs MCP SDK
      rustsdkmcp
      rustsdkmcppmatpdmtpmcppaimlpaiml-active-tool
      Rust
      •
      MIT License
      •8•50•7•0•Updated Jun 9, 2026Jun 9, 2026

    • .github

      Public
      paiml-infra
      paiml-infra
      0•0•9•5•Updated Jun 9, 2026Jun 9, 2026

    • apr-cookbook

      Public
      Examples of .apr format models
      rustsciencedata
      rustsciencedatamachinemodelsmlmachinelearningslmllmmachinelearning-rust
      Rust
      •
      MIT License
      •2•5•1•1•Updated Jun 8, 2026Jun 8, 2026

    • rust-de-specialization

      Public
      Rust for Data Engineering: 31-Course Coursera Specialization
      rustcliaws
      rustcliawsdatagcpcourseradata-engineeringdataopsdbcdesign-by-contract
      Makefile
      •
      MIT License
      •1•4•0•0•Updated May 30, 2026May 30, 2026

    • claude-code-parity-apr

      Public
      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
      •1•4•0•0•Updated May 29, 2026May 29, 2026

    • shipping-rust

      Public
      Reference Rust workspace for course c9: Shipping Rust — Cargo, CI, Benchmarks & Containers
      Rust
      •
      Apache License 2.0
      •0•0•0•1•Updated May 24, 2026May 24, 2026

    • claude-from-zero

      Public
      Companion repo for 'Claude from Zero' — course 9 of the rust-de specialization. Shows provable contracts, Claude skills, sub-agents, and pmat in action.
      Rust
      •0•1•0•0•Updated May 21, 2026May 21, 2026

    • helixdb-from-zero

      Public
      Companion repo for the Coursera course HelixDB From Zero, part of the Rust for Data Engineering specialization.
      Rust
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated May 21, 2026May 21, 2026

    • oo-python-to-rust

      Public
      Companion repo for the Coursera course OO: Python to Rust — four pillars retargeted as provable contracts, GoF patterns + Rust-specific patterns + ADTs each gat…
      Rust
      •
      Other
      •0•0•0•0•Updated May 20, 2026May 20, 2026

    • big-o-python-to-rust

      Public
      Companion repo for the Coursera course Big O Notation: Python to Rust — empirical, structural, and formal complexity proofs gated by named YAML contracts.
      Rust
      •
      Other
      •0•0•0•0•Updated May 20, 2026May 20, 2026

    • bashrs-from-zero

      Public
      Teaching artifact for the Bashrs from Zero course (Coursera). Real shell-script DE workflows shown messy and purified, plus a Rust→shell installer.
      Rust
      •
      Other
      •0•0•0•0•Updated May 20, 2026May 20, 2026

    • wasm-from-zero

      Public
      Companion repo for the WASM from Zero Coursera course — pure-Rust browser apps via aprender presentar + probar snapshot testing
      Rust
      •
      Other
      •0•0•0•0•Updated May 19, 2026May 19, 2026

    • albor

      Public
      LLM from first principles trained only from Sovereign AI components
      paiml-model-training
      paiml-model-training
      Python
      •
      MIT License
      •0•0•23•0•Updated May 18, 2026May 18, 2026

    • tui-from-zero

      Public
      Companion repo for the TUI from Zero Coursera course — pure-Rust TUI framework gated by pv + Lean 4
      Rust
      •
      Other
      •0•0•0•0•Updated May 18, 2026May 18, 2026

    • iac-from-zero

      Public
      Companion repo for the Coursera course IaC From Zero — declarative bare-metal-first Infrastructure as Code in Rust using forjar.
      HCL
      •
      Other
      •0•0•0•0•Updated May 17, 2026May 17, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.