Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Gapt

GAPT: General Architecture for Proof Theory
Stars
82
License
gpl-3.0
Open Issues
45
Most Recent Commit
2 years ago
Programming Language
Scala
Total Releases
2
Latest Release
July 21, 2022
Categories
Site
Repo
Suggest An Alternative To gapt
Popular Sbt Projects
Scala ⭐ 14,238
Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/lampepfl/dotty
dependent packages 64,746total releases 210latest release September 06, 2023most recent commit 5 months ago
Sbt ⭐ 4,737
sbt, the interactive build tool
dependent packages 290total releases 128latest release October 22, 2023most recent commit 5 months ago
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 5 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 5 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 6 months ago
Popular Build Tools Categories
Makefile
Cmake
Gradle
Builder
Grunt
Jar
Installer
Apk
Sbt
Bundler
Related Searches
Scala Sbt
Scala Theorem Proving
Scala Sat Solver

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Sbt
Sat Solver
Theorem Proving
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.