EcneProject
by franklynwang
Ecne: An engine for verifying the soundness of R1CS constraints
AI summary
Constraint Verifier
Tools for verifying soundness of R1CS constraints in Julia
- stars
- 108
- forks
- 7
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Assembly Verifier
A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler
Validator
Library for defining data validation contracts in dynamically typed languages
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
Command processor verifier
Adds support for verifying a specific command processing framework
Project validator
A tool to validate Xcode project configuration files for syntax errors
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Robustness framework
Provides a framework for computing tight certificates of adversarial robustness for randomly smoothed classifiers.
Chart eval
An evaluation suite for assessing chart understanding in multimodal large language models.
ECS framework comparison
A comparison table of popular C# ECS frameworks
C++ microbenchmarker
A microbenchmarking library for measuring performance of C++ code
Control Verifier
Automates the verification of building control systems using data-driven analytics and machine learning algorithms
Admin console
An Elasticsearch admin and monitoring panel built with VueJS and Python
RISC-V core
Develops a formally verified RISC-V processor core using Haskell
Environment varifier
Replaces environment variable checks with plain string comparisons
