Lib.rs

› Keywords #provable-contracts #spir-v #ruchy #xpile #transpile #wgsl #lean #python

#ptx


  1. xpile-rust-codegen

    Shared Rust emission — takes meta-HIR, produces idiomatic Rust

    v0.1.615 #ruchy #lean #xpile #contract #emission #spir-v #emit #latex #ptx #provable-contracts

  2. xpile-backend

    Backend trait — every target language (Rust, Ruchy, PTX, WGSL, SPIR-V, Lean) implements this

    v0.1.616 #back-end-traits #spir-v #ruchy #xpile #lean #ptx #wgsl #quorum #provable-contracts #transpile

  3. ruchy-frontend

    Ruchy frontend for xpile. Parses .ruchy and lowers to meta-HIR.

    v0.1.615 #ruchy #xpile #front-end #lean #python #spir-v #provable-contracts #transpile #meta-hir #ptx

  4. xpile-oracle

    Oracle trait — captures original-language execution and compares against transpiled Rust

    v0.1.616 #python #xpile #ruchy #cpython #spir-v #transpiled #provable-contracts #transpile #ptx #wgsl

  5. xpile-agent

    Bounded agent loop for transpile repair. Adapted from the alchemize four-tool pattern.

    v0.1.615 #transpile #xpile #python #agent #repair #spir-v #ruchy #provable-contracts #ptx #wgsl

  6. vyre-emit-ptx

    PTX text emitter for vyre KernelDescriptor. Produces NVRTC-compatible CUDA assembly.

    v0.7.1 19K #vyre #shader #cuda-ptx #ptx

  7. flux-importer

    Flux bytecode → synthetic MIR bridge for the cuda-oxide compilation pipeline. Translates agent-native Flux bytecode into MIR compatible with the Rust-to-PTX compiler.

    v0.1.0 #compiler #flux #ptx #gpu

  8. xpile-frontend

    Frontend trait — every source language implements this

    v0.1.616 #ruchy #python #spir-v #xpile #lean #ptx #wgsl #provable-contracts #transpile #polyglot

  9. oxicuda-graphalg

    OxiCUDA: Classical graph algorithms (BFS/DFS, shortest paths, MST, max-flow, matching, SCC, centrality, community, TSP, coloring, isomorphism)

    v0.5.2 #graph #shortest-path #kernel #weighted-graph #max-flow #bfs #graph-algorithms #tsp #centrality #ptx

  10. ptx-90-parser

    Parse NVIDIA PTX 9.0 assembly into a structured AST and explore modules via a CLI

    v0.4.4 #ast #ptx #parser #cuda-ptx

  11. xpile-lean-contract-backend

    Renders contracts as Lean 4 theorem text with @[xpile_contract] attribute carrying the verbatim contract ID. Phase 4.

    v0.1.616 #lean #xpile #contract #back-end #ruchy #spir-v #provable-contracts #transpile #verbatim #ptx

  12. xpile-latex-contract-backend

    Renders contracts as publication-quality LaTeX with \xpileContract{}{} macro carrying the verbatim contract ID. Phase 4.

    v0.1.615 #latex #xpile #contract #back-end #lean #ruchy #spir-v #provable-contracts #transpile #ptx

  13. xpile-bigint

    Bigint runtime for xpile-generated code — the slow-path side of the C-PY-INT-ARITH Layer-1 contract

    v0.1.615 #xpile #contract #python #bignum #spir-v #ruchy #provable-contracts #transpile #ptx #wgsl

  14. warp-types-builder

    Build-time PTX compilation for warp-types GPU kernels

    v0.3.1 #kernel #gpu-kernel #ptx #warp-types #build-time #compile-time #shuffle #type-state #cross-compiling #out-dir

  15. nvvm

    High level bindings to libnvvm

    v0.1.1 #gpu #libnvvm #bindings #gpgpu #high #llvm #ptx

  16. ptx-parser

    parser for ptx files

    v0.1.6 #ptx #parser #instruction-set #visible #target #instructions-set-architecture #machine-instructions

  17. xpile-core

    Top-level session orchestration — wires frontends, oracle, agent, codegen

    v0.1.615 #contract #transpile #front-end #python #lean #ruchy #spir-v #ptx #latex #provable-contracts

  18. aprender-ptx-debug

    Pure Rust PTX debugging and static analysis tool

    v0.51.0 #static-analysis #ptx #gpu #debugging

    19. Try searching with DuckDuckGo.


  19. aprender-explain

    PTX/SIMD/wgpu visualization and tracing CLI for Trueno

    v0.61.0 #ptx #gpu #visualization #analysis #simd

  20. del-fem-cudarc-kernel

    Cuda PTX for the fem operations

    v0.1.0 #fem #operation #ptx #computation #graphics #prototyping

  21. ptx-90-parser-span-derive

    Derive the Spanned helper trait used throughout ptx-90-parser AST types

    v0.1.0 #parser #proc-macro #ptx

  22. trueno-explain

    PTX/SIMD/wgpu visualization and tracing CLI for Trueno

    v0.2.2 120 #ptx #gpu #visualization #analysis #simd

  23. warp-types-kernel

    Proc macro for warp-types GPU kernel functions

    v0.3.1 #proc-macro #gpu-kernel #warp-types #compilation #ptx #shuffle #abi #no-mangle

  24. ptx-90-parser-construct

    Constructor helper macros used by the PTX 9.0 parser

    v0.1.0 #parser #proc-macro #ptx