nas120r/tla-ai-amplifier

Explore the TLA+ AI Amplifier repository to see how AI tools can enhance formal specification development and verification. 🛠️ Discover examples like a race condition counter and a producer-consumer queue, complete with TLA+ specs and Python implementations. 💻

Language: TLA - Size: 26.4 KB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 0 - Forks: 0

Jfizxz/rift-poc

RIFT POC showcases a systematic approach to bytecode generation with a focus on security and validation. Explore the 5-stage pipeline and its architecture to understand how Zero Trust governance enhances the compilation process. 🛠️🚀

Language: Shell - Size: 688 KB - Last synced at: about 17 hours ago - Pushed at: about 19 hours ago - Stars: 0 - Forks: 0

Ivan-Sergeyev/seymour

This project is about formally verifying Seymour's decomposition theorem for regular matroids.

Language: Lean - Size: 10.9 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 28 - Forks: 10

fizzbee-io/fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Language: Python - Size: 1.22 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 230 - Forks: 14

acl2/acl2

ACL2 System and Books as Maintained by the Community

Language: Common Lisp - Size: 1.38 GB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 397 - Forks: 112

AeneasVerif/aeneas

A verification toolchain for Rust programs

Language: OCaml - Size: 9.01 MB - Last synced at: about 20 hours ago - Pushed at: 3 days ago - Stars: 300 - Forks: 25

p-org/P

The P programming language.

Language: C# - Size: 153 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3,381 - Forks: 198

lmarzen/libmltl

A high-performance library for Mission-time Linear Temporal Logic (MLTL) parsing, Abstract Syntax Tree (AST) manipulation, and formula evaluation. Supports C++ and Python interfaces.

Language: C++ - Size: 783 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

NASA-SW-VnV/fret

A framework for the elicitation, specification, formalization and analysis of requirements.

Language: JavaScript - Size: 136 MB - Last synced at: about 17 hours ago - Pushed at: 17 days ago - Stars: 362 - Forks: 58

workcraft/workcraft

Toolset to capture, simulate, synthesize and verify graph models

Language: Java - Size: 74.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 64 - Forks: 142

creusot-rs/creusot

Creusot helps you prove your code is correct in an automated fashion.

Language: Rust - Size: 68.5 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,288 - Forks: 58

cryspen/hax

A Rust verification tool

Language: OCaml - Size: 56.5 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 272 - Forks: 26

Certora/CertoraProver

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Language: Kotlin - Size: 14.5 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 191 - Forks: 18

ariadne-cps/ariadne

C++ framework for rigorous computation on cyber-physical systems

Language: C++ - Size: 20 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 29 - Forks: 9

runtimeverification/evm-equivalence

Equivalence proofs of EVM models

Language: Lean - Size: 215 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 4 - Forks: 0

JuliaReach/LazySets.jl

Scalable symbolic-numeric set computations in Julia

Language: Julia - Size: 52 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 248 - Forks: 37

pq-code-package/mlkem-native

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

Language: Assembly - Size: 41.7 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 81 - Forks: 30

CakeML/cakeml

CakeML: A Verified Implementation of ML

Language: Standard ML - Size: 119 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,058 - Forks: 88

viperproject/prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language: Rust - Size: 1.26 GB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,647 - Forks: 113

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

Language: Lean - Size: 4.78 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 81 - Forks: 14

AeneasVerif/charon

Interface with the rustc compiler for the purpose of program verification

Language: Rust - Size: 7.8 MB - Last synced at: about 20 hours ago - Pushed at: 7 days ago - Stars: 160 - Forks: 20

helcsnewsxd/cbmc-analysis-report

Technical report on CBMC (C Bounded Model Checker) - Software Engineering II course project - Computer Science @ FAMAF (UNC)

Language: TeX - Size: 1.08 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 0

KeYProject/key

KeY Theorem Prover for Deductive Java Verification

Language: Java - Size: 213 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 58 - Forks: 35

EddySetiawanto24/retrosaga

RetroSaga is a next-generation retro game engine that simplifies game development while ensuring high performance. With features like faster build times and efficient rendering, it empowers developers to create stunning pixel-perfect games. 🎮👾

Size: 8.79 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

cryspen/libcrux

The formally verified crypto library for Rust

Language: C - Size: 52.1 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 131 - Forks: 22

LordUbuntu/maths

Maths algorithms and data structures you'll find useful, formally verified and optimized

Language: Python - Size: 220 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

bagnalla/zar

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

Language: Coq - Size: 14.4 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

Ironclad-Project/Ironclad

Mirror of codeberg's repository

Language: Ada - Size: 4.01 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 31 - Forks: 4

joewatt95/CVM

Code repository for the ITP 2025 paper "Verification of the CVM algorithm with a Functional Probabilistic Invariant"

Language: Isabelle - Size: 2 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

hacl-star/hacl-star

HACL*, a formally verified cryptographic library written in F*

Language: F* - Size: 574 MB - Last synced at: about 4 hours ago - Pushed at: 6 days ago - Stars: 1,764 - Forks: 180

ElNiak/awesome-formal-verification

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.

Size: 24.4 KB - Last synced at: about 16 hours ago - Pushed at: 5 months ago - Stars: 34 - Forks: 2

gipsyh/rIC3

Hardware Formal Verification Tool

Language: Rust - Size: 2.05 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 54 - Forks: 11

tmeissner/formal_hw_verification

Trying to verify Verilog/VHDL designs with formal methods and tools

Language: VHDL - Size: 205 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 42 - Forks: 7

b-mehta/ABC-Exceptions

Exceptions to the ABC conjecture in Lean

Language: Lean - Size: 377 KB - Last synced at: 6 days ago - Pushed at: 10 days ago - Stars: 14 - Forks: 0

black-sat/black

BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

Language: C++ - Size: 189 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 17 - Forks: 5

ldv-klever/klever

Read-only mirror of the Klever Git repository

Language: Python - Size: 162 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 22 - Forks: 14

Ghonimo/Formal-Verification-With-VC-Formal--Tutorials-and-Examples

This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our goal is to help both beginners and experienced users understand the principles of formal verification and how to apply them effectively using VC Formal.

Size: 96.8 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 31 - Forks: 2

imandra-ai/fix-engine

Imandra FIX Engine

Language: OCaml - Size: 7.86 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 52 - Forks: 3

fvcrusher/fvcrusher.github.io

Formal Verification simplifier

Language: HTML - Size: 157 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

Mk9207/abc-conjecture-constructive-proof

A constructive and complete proof of the ABC Conjecture using explicit radical functions, exception bounding, and epsilon optimization. Designed for reproducibility and formal verification.

Language: TeX - Size: 0 Bytes - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

formal-land/coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Language: Rocq Prover - Size: 118 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 920 - Forks: 31

CertiCoq/certicoq

A Verified Compiler for Gallina, Written in Gallina

Language: Coq - Size: 33.4 MB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 152 - Forks: 31

LAVA-LAB/lava-lab.github.io

Language: JavaScript - Size: 179 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 2 - Forks: 2

mgrojo/coap_spark

Formally verified implementation of the CoAP protocol in SPARK/Ada

Language: Ada - Size: 1.92 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 7 - Forks: 0

CASTLE-Benchmark/CASTLE-Source

The source code for the CASTLE Benchmark Tests, Wrappers, Evaluator, Diagrams and more

Language: C - Size: 196 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 2 - Forks: 1

Inferara/inferara.com

Inferara official website

Language: HTML - Size: 949 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 2

Zacharius338/obibuf

The OBI Buffer Protocol offers a reliable solution for data marshalling in safety-critical systems, ensuring both efficiency and security. With its zero-overhead design and compliance with NASA standards, this framework stands out for developers seeking robust data handling. 🛠️🌐

Language: C - Size: 692 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0

obinexus/retrosaga

Revolutionary retro game engine with systematic build orchestration through NLink→PolyBuild→RetroSaga architecture. Delivers 67% faster builds, pixel-perfect rendering, and universal language support for professional 2D/2.5D/3D retro game development.

Size: 5.86 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 1 - Forks: 0

awslabs/aws-lc-verification

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

Language: Rocq Prover - Size: 635 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 45 - Forks: 20

obinexus/obibuf

Zero-overhead data marshalling protocol for safety-critical distributed systems with NASA-STD-8739.8 compliance, formal verification, and Zero Trust architecture.

Language: C - Size: 31.3 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 1 - Forks: 0

saza-ku/verus-devcontainer

Devcontainer for Verus

Language: Dockerfile - Size: 25.4 KB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

sdthompson1/babylon

An experimental new programming language with verification features.

Language: C - Size: 1.37 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 1 - Forks: 0

aygp-dr/tla-ai-amplifier

TLA+ examples demonstrating AI-assisted formal specification development, model checking, and verification processes

Language: TLA - Size: 25.4 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

IBM/ACE-RISCV

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

Language: Rust - Size: 2 MB - Last synced at: 19 days ago - Pushed at: about 1 month ago - Stars: 160 - Forks: 17

awesomo4000/awesome-provable

A curated set of links to formal methods involving provable code.

Size: 25.4 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 207 - Forks: 10

formal-land/coq-of-solidity Fork of ethereum/solidity

Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!

Language: Coq - Size: 101 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 33 - Forks: 2

yazandaba/Dante

Formal model checker for C# code transformation

Language: C# - Size: 126 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0

ab-sayed/Formal-Error-Bound-for-Safety-Verification-of-neural-ODE

Code for paper "Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification"

Language: MATLAB - Size: 362 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

newca12/awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Size: 316 KB - Last synced at: 8 days ago - Pushed at: 26 days ago - Stars: 342 - Forks: 11

cristian-mattarei/CoSA

CoreIR Symbolic Analyzer

Language: Python - Size: 7.98 MB - Last synced at: 11 days ago - Pushed at: over 4 years ago - Stars: 73 - Forks: 18

AdaCore/RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Language: Ada - Size: 32.4 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 115 - Forks: 8

meowesque/catk

C Analysis Toolkit

Language: Rust - Size: 61.5 KB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 1

Zinoex/IntervalMDPAbstractions.jl

Abstraction of stochastic systems to IMDPs and odIMDPs

Language: Julia - Size: 70.4 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

mattvenn/formal_timer

Project 3.1 Formal timer

Language: Verilog - Size: 7.81 KB - Last synced at: 7 days ago - Pushed at: 28 days ago - Stars: 3 - Forks: 5

vtramo/rtl-mc

Model Checking Linear Temporal Properties on Polyhedral Systems - Master's Thesis in Computer Science

Language: C++ - Size: 40 MB - Last synced at: 21 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

awslabs/AutoCorrode

Verification infrastructure for the Isabelle/HOL interactive proof assistant

Language: Isabelle - Size: 410 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 37 - Forks: 5

Rithwik3425/Formal_Verifiaction_Cross_Compiler

Language: Shell - Size: 20.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

SSProve/ssprove

A foundational framework for modular cryptographic proofs in Coq

Language: Coq - Size: 3.31 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 64 - Forks: 13

JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 13.8 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 203 - Forks: 17

IBM/vsrl-framework 📦

The Verifiably Safe Reinforcement Learning Framework

Language: Python - Size: 1.92 MB - Last synced at: 19 days ago - Pushed at: almost 4 years ago - Stars: 57 - Forks: 12

Raiders0786/web3-security-resources

The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.

Size: 78.1 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 294 - Forks: 49

PrincetonUniversity/VST

Verified Software Toolchain

Language: Coq - Size: 74.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 463 - Forks: 94

PacoReinaCampo/MPSoC-DV

Multi-Processor System on Chip verified with UVM/OSVVM/FV

Language: SystemVerilog - Size: 37.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 30 - Forks: 15

symbolicsoft/verifpal

Cryptographic protocol analysis for real-world protocols.

Language: Go - Size: 2.34 MB - Last synced at: 1 day ago - Pushed at: 10 months ago - Stars: 53 - Forks: 6

formes20/MpBP

[FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

Language: Python - Size: 130 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

stepchowfun/proofs

My personal repository of formally verified mathematics.

Language: Coq - Size: 1.28 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 299 - Forks: 14

ligurio/practical-fm

A gently curated list of companies using verification formal methods in industry

Size: 122 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 537 - Forks: 42

PacoReinaCampo/SoC-DV

System on Chip verified with UVM/OSVVM/FV

Language: SystemVerilog - Size: 26 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 27 - Forks: 7

PacoReinaCampo/PU-DV

Processing Unit verified with UVM/OSVVM/FV

Language: SystemVerilog - Size: 16.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 4

NethermindEth/formalverification.xyz

A website listing all the best FV companies in the Crypto space.

Language: TypeScript - Size: 1.61 MB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 10 - Forks: 9

LAVA-LAB/luiaard

Code for the paper "Robust Anytime Learning of Markov Decision Processes"

Language: Java - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 2

ensdomains/k-ens

ENS formally verified

Size: 1000 Bytes - Last synced at: 13 days ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 5

fraunhoferfokus/acsl-by-example

Public snapshots of "ACSL by Example"

Language: TeX - Size: 20.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 109 - Forks: 21

ThalesGroup/frama-c-lsp

This repository contains both the server and client software that implement the Language Server Protocol (LSP) for C/ACSL language. The server part is a novel Frama-C plugin called "lsp". The client part is a VsCode extension.

Language: OCaml - Size: 436 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

hvanz/PaxosInPluscal

Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.

Language: TLA - Size: 69.3 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 1

SKolodynski/IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

Language: Isabelle - Size: 154 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 18 - Forks: 1

Amrita-TIFAC-Cyber-Blockchain/Formal-Methods-Blockchain

Formal Methods for Blockchain & Smart Contracts

Size: 6.45 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 2

see-quick/verification

Just a bunch off stuff related to formal verification of Strimzi, Kafka and compilers related..

Language: TLA - Size: 21.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

SongyanLai/Integrating-FRET-and-WEST

From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST

Language: HTML - Size: 3.41 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

aai-institute/USFlows

Normalizing flows for neuro-symbolic AI

Language: Python - Size: 2.75 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 14 - Forks: 2

ManuelWendl/RobustSetBasedRL

This repo contains code for robust set-based neural network training and robust set-based reinforcement learning.

Language: Python - Size: 79.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Koukyosyumei/LeanDiary

Solving Software Foundations in Lean4

Language: Lean - Size: 59.6 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

viperproject/gobra-action

Github Action to verify Go code with Gobra directly in a CI workflow

Language: Shell - Size: 73.2 KB - Last synced at: 16 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 2

pawinkler/hypra-support

Hypra Support Extension for Visual Studio Code. Adds language support for Hypra / HHL.

Language: TypeScript - Size: 55.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

viperproject/mendel-verifier

Capability-based verifier for safe Rust clients of interior mutability

Language: Rust - Size: 41.2 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 10 - Forks: 1

allisterb/Silver

Static analyzer and formal verifier for Stratis smart contracts

Language: Jupyter Notebook - Size: 2.99 MB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

ElNiak/PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

Language: C - Size: 1.21 GB - Last synced at: about 16 hours ago - Pushed at: 13 days ago - Stars: 38 - Forks: 3

data61/PSL

Language: Isabelle - Size: 175 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 68 - Forks: 9

ben-marshall/awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

Size: 166 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 522 - Forks: 52

Inferara/inference-language-spec

Inference programming language specification

Size: 554 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 1