03 / open source selected projects pro-utkarshM

open source

Open-source work by pro-utkarshM: personal projects I build and maintain, alongside merged patches and work under review upstream. Upstream activity updates automatically from GitHub.

upstream contributions
n = 20

all matching contributions on GitHub →

personal projects

  • AxiomOS

    An experimental robotics kernel that loads verified programs at runtime to change behavior without reflashing.

    creator & maintainer
  • Cirkitly / spec2test

    AI-assisted quality assurance for hardware developers.

    creator & maintainer
  • Cirkitly / spec2rtl-plugin

    A CLI plugin for AI-assisted hardware design and verification.

    creator & maintainer
  • Cirkitly / code2test

    Work-in-progress hierarchical test generation with multi-language support and human review.

    creator & maintainer
  • Cirkitly / picoplace

    A command-line tool for synthesizing PCB layouts.

    creator & maintainer
  • Cirkitly / rtl-copilot

    Work-in-progress Verilog generation and visual state-machine editing for digital logic prototyping.

    creator & maintainer
  • Cirkitly / spec2rtl

    The earlier RTL generation project, discontinued in favor of spec2rtl-plugin.

    creator
  • Cirkitly / website

    Source for the Cirkitly website.

    creator & maintainer
  • Cirkitly / PocketFlow

    Cirkitly’s fork of Pocket Flow, a compact framework for LLM workflows.

    fork
  • Cirkitly / .github

    Cirkitly’s organization profile and GitHub configuration.

    organization config