jad-hamza

stainless

Verification framework for higher-order functional programs

jad-hamza/stainless

Verification framework for higher-order functional programs

jad-hamza/bolts

Bolts: Stainless Verified Scala

jad-hamza/bullet3

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

jad-hamza/cafebabe

Tiny Scala library to generate class files for the JVM

jad-hamza/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.

jad-hamza/Coq-Equations

A plugin for Coq to add dependent pattern-matching.

jad-hamza/dopamine

The audio player that keeps it simple

jad-hamza/dotty

Research compiler that will become Scala 3

jad-hamza/fit-code

jad-hamza/hlgit

jad-hamza/inox

Solver interface for higher-order functional programs

jad-hamza/leon

The Leon system for verification, synthesis, and more.

jad-hamza/networking

jad-hamza/scala-smtlib

Scala library for parsing and printing the SMT-LIB format

jad-hamza/ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

jad-hamza/scallion

LL(1) parser combinators in Scala

jad-hamza/smart

Verification and Generation of Smart Contracts using Stainless and Scala

jad-hamza/stainless-actors

Actor System library for Stainless which runs on Akka

jad-hamza/StainlessFit

Stainless directly built on System FR, with standalone front end

jad-hamza/SystemFR

jad-hamza/vscoq

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