Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 17 Scala Smt Open Source Projects

Open source projects categorized as Scala Smt
Apalache ⭐ 387
APALACHE: symbolic model checker for TLA+ and Quint
most recent commit 3 months ago
Stainless ⭐ 339
Verification framework and tool for higher-order Scala programs
most recent commit 4 months ago
Renaissance ⭐ 284
The Renaissance Benchmark Suite
most recent commit 4 months ago
Scalaz3 ⭐ 111
DSL in Scala for Constraint Solving with Z3 SMT Solver
most recent commit a year ago
Suslik ⭐ 103
Synthesis of Heap-Manipulating Programs from Separation Logic
most recent commit 2 years ago
Inox ⭐ 85
Solver for higher-order functional programs
total releases 61most recent commit 6 months ago
Scala Smtlib ⭐ 43
Scala library for parsing and printing the SMT-LIB format
dependent packages 1total releases 5most recent commit a year ago
Cafesat ⭐ 41
The CafeSat SMT solver for Scala
most recent commit 2 years ago
Scabolic ⭐ 33
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
most recent commit 9 years ago
Skeptik ⭐ 31
A library for Proof Theory (especially Proof Compression) in Scala.
total releases 1most recent commit 7 years ago
Ostrich ⭐ 28
An SMT Solver for string constraints
dependent packages 1total releases 4most recent commit 3 months ago
Awesome Ast ⭐ 18
Tools for AST hacking
most recent commit 5 years ago
Princess ⭐ 17
The Princess Theorem Prover
most recent commit 3 months ago
Uppsat ⭐ 9
An approximating SMT solver
most recent commit 3 years ago
Sloth ⭐ 8
An SMT Solver for strings
most recent commit 6 years ago
Stainlessfit ⭐ 5
Stainless directly built on System FR, with standalone front-end
most recent commit 2 years ago
Eps ⭐ 5
Evolutionary Program Sketching
most recent commit 4 years ago
The 2 Most Depended On Scala Smt Open Source Projects
Ostrich ⭐ 28
An SMT Solver for string constraints
dependent packages 1total releases 4latest release July 14, 2023most recent commit 3 months ago
Scala Smtlib ⭐ 43
Scala library for parsing and printing the SMT-LIB format
dependent packages 1total releases 5latest release June 04, 2017most recent commit a year ago
The 4 Latest Releases In Scala Smt Open Source Projects
Ostrich ⭐ 28
An SMT Solver for string constraints
dependent packages 1total releases 4latest release July 14, 2023most recent commit 3 months ago
Inox ⭐ 85
Solver for higher-order functional programs
total releases 61latest release March 13, 2018most recent commit 6 months ago
Scala Smtlib ⭐ 43
Scala library for parsing and printing the SMT-LIB format
dependent packages 1total releases 5latest release June 04, 2017most recent commit a year ago
Skeptik ⭐ 31
A library for Proof Theory (especially Proof Compression) in Scala.
total releases 1latest release January 22, 2013most recent commit 7 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
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.