Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Propafp

Auto-active verification of floating-point programs.
Stars
6
License
mpl-2.0
Open Issues
0
Most Recent Commit
6 months ago
Programming Language
Haskell
Total Releases
3
Latest Release
March 12, 2023
Categories
Repo
Alternatives To Propafp
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Copads12
3a year ago8December 15, 2021Python
Collection of Python Algorithms and Data Structures
Propafp6
6 months ago3March 12, 2023mpl-2.0Haskell
Auto-active verification of floating-point programs.
Alternatives To Propafp
Select To Compare
Copads ⭐ 12
Collection of Python Algorithms and Data Structures
total releases 8most recent commit a year ago
Propafp ⭐ 6
Auto-active verification of floating-point programs.
total releases 3most recent commit 6 months ago


Suggest An Alternative To PropaFP
Alternative Project Comparisons
Propafp vs Copads
Popular Mathematics Projects
Freecodecamp ⭐ 384,908
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
dependent packages 2total releases 22latest release October 05, 2018most recent commit a month agonpm @freecodecamp/curriculum} Downloads
Popular Formal Methods Projects
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 3 months agocargo sled} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Hacl Star ⭐ 1,575
HACL*, a formally verified cryptographic library written in F*
dependent packages 2total releases 11latest release June 15, 2023most recent commit a month agonpm hacl-wasm} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Haskell Mathematics
Mathematics Floating Point
Haskell Formal Methods
Haskell Formal Verification
Haskell Program
Haskell Theorem Prover
Haskell Floating Point
Mathematics Formal Methods
Mathematics Program

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Mathematics
Formal Methods
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.