AD1024/veripy 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

AD1024/veripy

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/AD1024/veripy)

Close

AD1024 / veripyView on GitHubMore

• External links
• Readme badge

Python3 auto-active verification library (migrated to an Intel project)

☆25Apr 7, 2022Updated 3 years ago

Alternatives and similar repositories for veripy

Users that are interested in veripy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• HoTT / HoTT-2023

  View on GitHub
  Conference on Homotopy Type Theory 2023
  ☆13Jan 24, 2024Updated 2 years ago
• StarGazerM / ppa-in-code

  View on GitHub
  some my implementation of content in PPA
  ☆18Nov 3, 2020Updated 5 years ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• owo-lang / Mini-TT

  View on GitHub
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18May 5, 2019Updated 6 years ago
• rocq-community / coqoban

  View on GitHub
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Jan 3, 2025Updated last year
• efeslab / asplos22-hardware-debugging-artifact

  View on GitHub
  ☆13Jun 12, 2024Updated last year
• zju-lambda / slides

  View on GitHub
  slides of zju-lambda
  ☆14Feb 9, 2019Updated 7 years ago
• thautwarm / DianaScript-JIT

  View on GitHub
  ☆18Nov 14, 2021Updated 4 years ago
• rocq-community / hoare-tut

  View on GitHub
  A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
  ☆22Nov 25, 2021Updated 4 years ago
• jar-ben / mustool

  View on GitHub
  ☆14Jun 18, 2023Updated 2 years ago
• PL-ML / metal

  View on GitHub
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Feb 18, 2019Updated 7 years ago
• uemurax / synthetic-topos-theory

  View on GitHub
  ☆15Oct 31, 2023Updated 2 years ago
• mgudemann / iimc

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆36Mar 31, 2022Updated 3 years ago
• funexists / coq-lean-cheatsheet

  View on GitHub
  A Cheat Sheet for Coq Developers who want to try LeanProver
  ☆19Jul 25, 2023Updated 2 years ago
• danelahman / Normalization-By-Evaluation

  View on GitHub
  Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
  ☆15Oct 18, 2025Updated 5 months ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• jetafese / btor2mlir

  View on GitHub
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Sep 4, 2025Updated 6 months ago
• cure-lab / DeepGate2

  View on GitHub
  ☆15May 24, 2023Updated 2 years ago
• jonsterling / agda-stc

  View on GitHub
  Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.
  ☆20Feb 26, 2021Updated 5 years ago
• trackoor / Chi

  View on GitHub
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Jul 13, 2020Updated 5 years ago
• lsrcz / mini-prover

  View on GitHub
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Jun 17, 2018Updated 7 years ago
• raptazure / mauve

  View on GitHub
  🍎 Play Bad Apple! with Haskell
  ☆15Jul 22, 2022Updated 3 years ago
• SimonJF / mbcheck

  View on GitHub
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆20Jan 15, 2026Updated 2 months ago
• lijwen2748 / simplecar

  View on GitHub
  ☆18Nov 9, 2022Updated 3 years ago
• ice1000 / arend-io

  View on GitHub
  A toy IO library for Arend
  ☆18Feb 12, 2021Updated 5 years ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆17Nov 19, 2023Updated 2 years ago
• daniellustig / pipecheck

  View on GitHub
  ☆20Dec 29, 2014Updated 11 years ago
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆27Dec 14, 2020Updated 5 years ago
• yihozhang / most-influential-pl-papers

  View on GitHub
  Most influential papers in programming languages
  ☆59Jan 20, 2025Updated last year
• KunMinX / SealedClass4Java

  View on GitHub
  让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin
  ☆12Aug 31, 2022Updated 3 years ago
• jamesbornholt / ocelot

  View on GitHub
  A synthesis-enabled solver for relational logic
  ☆29Apr 30, 2018Updated 7 years ago
• arthuraa / memory-safe-language

  View on GitHub
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Sep 27, 2021Updated 4 years ago
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• jsiek / denotational_semantics

  View on GitHub
  Denotational semantics based on graph and filter models
  ☆23Dec 16, 2024Updated last year
• zqy1018 / my_leetcode

  View on GitHub
  A place to store my code for leetcode
  ☆24Aug 9, 2020Updated 5 years ago
• saleh1204 / sis

  View on GitHub
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Jun 4, 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