Alternatives and similar repositories for alphageometry2

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

• mtikekar / vim-bsv

  View on GitHub
  Vim plugin for Bluespec SystemVerilog (BSV)
  ☆11Nov 8, 2020Updated 5 years ago
• jimmysitu / msfinance

  View on GitHub
  msfinance offers Pythonic way to download market data from morningstar.com
  ☆15Feb 15, 2025Updated 11 months ago
• ChrisTimperley / RepairChain

  View on GitHub
  AIxCC: automated vulnerability repair via LLMs, search, and static analysis
  ☆11Jul 16, 2024Updated last year
• freechipsproject / chisel-coverage

  View on GitHub
  A coverage library for Chisel designs
  ☆11Mar 12, 2020Updated 5 years ago
• SiaMining / sgminer

  View on GitHub
  Sia GPU miner
  ☆10Jul 20, 2016Updated 9 years ago
• OpenROAD-Assistant / OpenROAD-Agent

  View on GitHub
  OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.
  ☆21Jul 24, 2025Updated 6 months ago
• HerodotusDev / StarkBadge

  View on GitHub
  Anon, prove your everAI on starknet — everAI mirroring
  ☆10Nov 9, 2023Updated 2 years ago
• verilator / rtlmeter

  View on GitHub
  RTLMeter benchmark suite
  ☆29Jan 25, 2026Updated 2 weeks ago
• makaimann / ride-core-demo

  View on GitHub
  A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core
  ☆12May 24, 2019Updated 6 years ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• JohnLaw2 / ln-hierarchical-channels

  View on GitHub
  ☆10Sep 8, 2023Updated 2 years ago
• tud-zih-energy / x86_energy

  View on GitHub
  The x86_energy library allows to count power and energy values.
  ☆12Dec 6, 2024Updated last year
• lyronctk / kzg-blob

  View on GitHub
  Prove multi-opens of EIP-4844 KZG blobs
  ☆16Jun 15, 2023Updated 2 years ago
• riscvarchive / riscv-dejagnu

  View on GitHub
  DejaGnu RISC-V port
  ☆14May 23, 2022Updated 3 years ago
• rsnikhil / DEVEL_Learn_Bluespec_and_RISCV_Design

  View on GitHub
  Development area for another repo: Learn_Bluespec_and_RISCV_Design
  ☆13Nov 10, 2025Updated 3 months ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• sail-sg / lm-random-memory-access

  View on GitHub
  ☆15Mar 12, 2024Updated last year
• the-web3-contracts / data-availability

  View on GitHub
  模块化区块链的数据可用层之 DA项目架构设计分析，技术分析，代码分析，适用场景分析等，每周更新1-3讲
  ☆12May 2, 2024Updated last year
• Gy-Hu / HWMCC24-benchmark

  View on GitHub
  Collection for submission (Hardware Model Checking Benchmark)
  ☆13Nov 9, 2025Updated 3 months ago
• ark-protocol / ark-protocol.org

  View on GitHub
  ☆15Nov 4, 2025Updated 3 months ago
• snishizawa / asap7_snps

  View on GitHub
  Supplemental technology files for ASAP7 PDK with Synopsys design flow
  ☆22Jan 27, 2023Updated 3 years ago
• Wang-ML-Lab / interpretable-foundation-models

  View on GitHub
  [ICML 2024] Probabilistic Conceptual Explainers (PACE): Trustworthy Conceptual Explanations for Vision Foundation Models
  ☆18Sep 25, 2025Updated 4 months ago
• alugupta / ACT

  View on GitHub
  ACT An Architectural Carbon Modeling Tool for Designing Sustainable Computer Systems
  ☆14Oct 2, 2022Updated 3 years ago
• isabelle-prover / cookbook

  View on GitHub
  A collection of useful tips/tricks/hints for Isabelle users.
  ☆16May 2, 2024Updated last year
• daniellustig / coatcheck

  View on GitHub
  COATCheck
  ☆13Nov 4, 2018Updated 7 years ago
• protolambda / op-mordor

  View on GitHub
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Mar 27, 2023Updated 2 years ago
• qfiard / cuda-sat-solver

  View on GitHub
  An implementation of a SAT solver using the CUDA library
  ☆15Dec 23, 2017Updated 8 years ago
• mhirki / rapl-tools

  View on GitHub
  Tools for experimenting with Running Average Power Limit (RAPL)
  ☆18Jan 7, 2018Updated 8 years ago
• nftstorage / go-client

  View on GitHub
  A client library for the https://nft.storage/ service.
  ☆17Nov 29, 2021Updated 4 years ago
• riscv-admin / uarch-side-channels

  View on GitHub
  ☆16Nov 28, 2024Updated last year
• edgarigl / qemu-etrace

  View on GitHub
  Qemu Etrace
  ☆15May 21, 2024Updated last year
• christophmuellerorg / spectre_python

  View on GitHub
  Simple and most probably incomplete parser for spectre netlists
  ☆14Oct 4, 2016Updated 9 years ago
• renxida / iseedeaduops-poc

  View on GitHub
  Proof-of-concept for I See Dead Micro-Ops transient execution attack
  ☆14Nov 3, 2021Updated 4 years ago
• xfguo / riscv-openwrt-port

  View on GitHub
  RISC-V OpenWrt Port
  ☆17Oct 30, 2018Updated 7 years ago
• anishathalye / rtlv

  View on GitHub
  Tools for reasoning about circuits in Rosette/Racket 🔌
  ☆19Feb 1, 2025Updated last year
• vegard / clsat

  View on GitHub
  OpenCL SAT solver
  ☆16Jul 15, 2011Updated 14 years ago
• mattvenn / efabless_project_tool

  View on GitHub
  Tool to fetch and parse data about Efabless MPW projects
  ☆15Jan 10, 2023Updated 3 years ago
• Risto97 / systemc_uvm_verilator

  View on GitHub
  ☆13Aug 22, 2022Updated 3 years ago
• sail-sg / LightTrans

  View on GitHub
  The official implementation of "LightTransfer: Your Long-Context LLM is Secretly a Hybrid Model with Effortless Adaptation"
  ☆22Apr 22, 2025Updated 9 months ago