Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Gini

Stars
121
License
mit
Open Issues
4
Most Recent Commit
3 years ago
Programming Language
Go
Dependent Repos
2
Dependent Packages
5
Total Releases
23
Latest Release
January 31, 2019
Categories
Repo
Alternatives To Gini
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Gini12533 years ago33August 26, 20215mitGo
A fast SAT solver
Gini121253 years ago23January 31, 20194mitGo
A fast SAT solver
Mualloy5
6 years agomitAlloy
A Mutation Testing Framework for Alloy
Alternatives To Gini
Select To Compare
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23most recent commit 3 years ago


Suggest An Alternative To gini
Alternative Project Comparisons
Gini vs Mualloy
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 3 months ago
Popular Testing Projects
Puppeteer ⭐ 86,608
Node.js API for Chrome
dependent packages 15,686total releases 851latest release December 06, 2023most recent commit 10 days agonpm puppeteer} Downloads
Storybook ⭐ 82,496
Storybook is a frontend workshop for building UI components and pages in isolation. Made for UI development, testing, and documentation.
dependent packages 26,487total releases 1,044latest release December 02, 2023most recent commit 22 days agonpm @storybook/addon-essentials} Downloads
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2latest release June 21, 2021most recent commit 3 months ago
Hoppscotch ⭐ 59,845
👽 Open source API development ecosystem - https://hoppscotch.io
dependent packages 2total releases 11latest release October 14, 2023most recent commit 10 days agonpm @hoppscotch/cli} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Golang Testing
Golang Concurrent
Testing Fuzzing
Golang Circuit
Golang Boolean
Golang Fuzzing
Golang Artificial Intelligence
Testing Concurrent
Boolean Circuit
Artificial Intelligence Logic Programming

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Golang
Testing
Artificial Intelligence
Concurrent
Logic Programming
Sat Solver
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.