jad-hamza

stainless

Verification framework for higher-order functional programs

bolts

Bolts: Stainless Verified Scala

bullet3

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

cafebabe

Tiny Scala library to generate class files for the JVM

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Coq-Equations

A plugin for Coq to add dependent pattern-matching.

dopamine

The audio player that keeps it simple

dotty

Research compiler that will become Scala 3

fit-code

hlgit

inox

Solver interface for higher-order functional programs

leon

The Leon system for verification, synthesis, and more.

networking

scala-smtlib

Scala library for parsing and printing the SMT-LIB format

ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

scallion

LL(1) parser combinators in Scala

smart

Verification and Generation of Smart Contracts using Stainless and Scala

stainless-actors

Actor System library for Stainless which runs on Akka

StainlessFit

Stainless directly built on System FR, with standalone front end

SystemFR

vscoq

A Visual Studio Code extension for Coq [maintainer=@maximedenes]