google/pyctr external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

google/pyctr

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/google/pyctr)

Close

google / pyctrView on GitHubMore

• External links
• Readme badge

☆22Jul 31, 2019Updated 6 years ago

Alternatives and similar repositories for pyctr

Users that are interested in pyctr are comparing it to the libraries listed below

• TiarkRompf / reachability

  View on GitHub
  ☆54Feb 20, 2026Updated last month
• Kraks / diamond-lang

  View on GitHub
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆47Mar 9, 2025Updated last year
• google / proto-task-queue

  View on GitHub
  ☆10Aug 18, 2025Updated 7 months ago
• Kraks / sai

  View on GitHub
  Staged Abstract Interpreters
  ☆69Mar 13, 2023Updated 3 years ago
• google / python-cloud-utils

  View on GitHub
  ☆23Jun 24, 2021Updated 4 years ago
• namin / relaxed-machines

  View on GitHub
  program synthesis with neuro-symbolic differentiable interpreters
  ☆17Sep 17, 2025Updated 6 months ago
• imjoy-team / imjoy-jupyter-extension

  View on GitHub
  Running ImJoy plugins in Jupyter notebooks
  ☆11Jan 10, 2023Updated 3 years ago
• Generative-Program-Analysis / GenSym

  View on GitHub
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆145Mar 12, 2026Updated last week
• zdevito / custom_loader

  View on GitHub
  ☆12May 25, 2021Updated 4 years ago
• lean-dojo / LeanDojo-v2

  View on GitHub
  LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
  ☆49Mar 10, 2026Updated last week
• dbunker / SABR

  View on GitHub
  Spatial and Action Based Resolver
  ☆13Jan 18, 2019Updated 7 years ago
• effect-handlers / effect-handlers-bench

  View on GitHub
  Benchmark repository of polyglot effect handler examples
  ☆34Aug 21, 2025Updated 6 months ago
• ssm-lang / sslang

  View on GitHub
  A language built atop the Sparse Synchronous Model
  ☆18Dec 23, 2023Updated 2 years ago
• nrsyed / examples

  View on GitHub
  ☆11May 13, 2018Updated 7 years ago
• dani-lbnl / SC20_pyHPC

  View on GitHub
  pyHPC workshop
  ☆11May 17, 2022Updated 3 years ago
• NVIDIA / clara-platform-python-client

  View on GitHub
  An intuitive Python 3 package to develop applications with NVIDIA Clara Deploy
  ☆14Oct 12, 2021Updated 4 years ago
• HohlbeinLab / HohlbeinLab.github.io

  View on GitHub
  Github Pages
  ☆13Apr 29, 2024Updated last year
• matt77hias / numpy-smallpt

  View on GitHub
  ☀️ Python 2.7 & Python 3.5 + NumPy Path Tracer
  ☆12Jul 28, 2022Updated 3 years ago
• python-pillow / pillow-perf

  View on GitHub
  Pillow Performance Tests
  ☆17Mar 2, 2026Updated 2 weeks ago
• jansel / pytorch-jit-paritybench

  View on GitHub
  ☆42Dec 10, 2024Updated last year
• google / weighted-dict

  View on GitHub
  ☆19May 25, 2020Updated 5 years ago
• SoilRos / llvm-xray-tools

  View on GitHub
  Tools for analysing results produced by the llvm-xray instrumentation
  ☆16Jan 15, 2021Updated 5 years ago
• supranational / vdf-fpga-round1-results

  View on GitHub
  ☆10Oct 22, 2019Updated 6 years ago
• airlab-unibas / MICCAITutorial2019

  View on GitHub
  ☆15Oct 7, 2019Updated 6 years ago
• namin / lms-verify

  View on GitHub
  generative programming & verification
  ☆34Jun 19, 2025Updated 9 months ago
• barbagroup / pyfmm

  View on GitHub
  Automatically exported from code.google.com/p/pyfmm
  ☆10May 4, 2015Updated 10 years ago
• clij / clijpy

  View on GitHub
  GPU-accelerated image processing using CLIJ via pyimagej in python
  ☆10Jan 8, 2021Updated 5 years ago
• SystemFw / Befunge-93

  View on GitHub
  Purely Functional, Final Tagless interpreter for the Befunge-93 esolang
  ☆36Feb 14, 2018Updated 8 years ago
• edumserrano / find-create-or-update-comment

  View on GitHub
  A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.
  ☆10Oct 4, 2025Updated 5 months ago
• herumi / s_xbyak

  View on GitHub
  ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python
  ☆12Nov 10, 2025Updated 4 months ago
• egraphs-good / egglog-python

  View on GitHub
  Python bindings for the egglog rust library
  ☆99Mar 11, 2026Updated last week
• PRNicovich / 3D-Printed-Optics-Lab-Parts

  View on GitHub
  Various parts made for fluorescence microscopy + optics work
  ☆16Jul 22, 2019Updated 6 years ago
• Pazitos10 / math-morph

  View on GitHub
  Mathematical Morphology Operations done with Python.
  ☆10Apr 14, 2021Updated 4 years ago
• nikomatsakis / simple-graph

  View on GitHub
  A (very) simple graph library.
  ☆12Apr 6, 2015Updated 10 years ago
• calebzulawski / symtool

  View on GitHub
  Manipulate static symbols in ELF and Mach-O objects
  ☆17Jun 17, 2022Updated 3 years ago
• metagraph-dev / mlir-graphblas

  View on GitHub
  MLIR tools and dialect for GraphBLAS
  ☆18Mar 30, 2022Updated 3 years ago
• Edinburgh-Genome-Foundry / bioprinter

  View on GitHub
  🖨️ Print pictures with living micro-organisms!
  ☆14Apr 9, 2025Updated 11 months ago
• google / swift-structural

  View on GitHub
  ☆33Dec 7, 2020Updated 5 years ago
• jyi2ya / pixpix

  View on GitHub
  A cli pixel art generator written in rust
  ☆15Jan 10, 2025Updated last year