Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Uppsat

An approximating SMT solver
Stars
9
License
gpl-3.0
Open Issues
3
Most Recent Commit
3 years ago
Programming Language
Scala
Categories
Repo
Alternatives To Uppsat
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Alive2634
3 months ago56mitC++
Automatic verification of LLVM optimizations
Uppsat9
3 years ago3gpl-3.0Scala
An approximating SMT solver
Alternatives To Uppsat
Select To Compare
Uppsat ⭐ 9
An approximating SMT solver
most recent commit 3 years ago


Suggest An Alternative To uppsat
Alternative Project Comparisons
Uppsat vs Alive2
Popular Smt Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 8 months agopypi manticore} Downloads
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years agopypi barf} Downloads
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 24 days agopypi pydantic} Downloads
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Validation
Assembly
Jar
Sbt
Smt
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.