Alternatives and similar repositories for princess:

Users that are interested in princess are comparing it to the libraries listed below

• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated 2 weeks ago
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆84Updated 3 years ago
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆35Updated 4 months ago
• dominique-unruh / scala-isabelle
  A Scala library for controlling/interacting with Isabelle
  ☆37Updated 7 months ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆97Updated this week
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆64Updated 2 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last week
• inkytonik / kiama
  A Scala library for language processing.
  ☆48Updated 5 months ago
• TiarkRompf / lms-clean
  ☆54Updated last year
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆93Updated this week
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆52Updated last week
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆163Updated this week
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• epfl-lara / SystemFR
  System FR: Formalized Foundations for Stainless
  ☆9Updated 3 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆20Updated 2 weeks ago
• JetBrains / arend-lib
  ☆80Updated this week
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 2 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated last year
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆82Updated 5 months ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated 2 weeks ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated 2 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆29Updated 10 months ago
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆25Updated last year
• snu-sf / paco
  A Coq library for parametric coinduction
  ☆45Updated 3 weeks ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆55Updated last week