Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Casper Proofs

Coq definitions and lemmas for verification of Casper
Stars
8
License
other
Open Issues
1
Most Recent Commit
5 years ago
Programming Language
TeX
Categories
Repo
Alternatives To Casper Proofs
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Graphcoql12
5 years agoCoq
Casper Proofs8
5 years ago1otherTeX
Coq definitions and lemmas for verification of Casper
Alternatives To Casper Proofs
Select To Compare
Graphcoql ⭐ 12
most recent commit 5 years ago


Suggest An Alternative To casper-proofs
Alternative Project Comparisons
Casper Proofs vs Graphcoql
Popular Coq Projects
Popular Validation Projects
React Hook Form ⭐ 39,372
📋 React Hooks for form state management and validation (Web + React Native)
dependent packages 3,629total releases 1,015latest release December 09, 2023most recent commit a month agonpm react-hook-form} Downloads
Validator.js ⭐ 22,518
String validation
dependent packages 5,834total releases 210latest release August 04, 2023most recent commit a month agonpm validator} Downloads
Yup ⭐ 21,779
Dead simple Object schema validation
dependent packages 4,712total releases 125latest release September 29, 2023most recent commit 3 months agonpm yup} Downloads
Pydantic ⭐ 18,415
Data validation using Python type hints
dependent packages 9,390total releases 127latest release November 22, 2023most recent commit 25 days agopypi pydantic} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Validation
Tex
Beacon
Coq
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.