jad-hamza

Pinned Repositories

stainless
Verification framework for higher-order functional programs
Language:HTML1 2 01

jad-hamza's Repositories

jad-hamza/stainless
Verification framework for higher-order functional programs
Language:HTML1 2 01
jad-hamza/bolts
Bolts: Stainless Verified Scala
Language: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
Language:Scala2 0
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.
Language:OCaml
jad-hamza/Coq-Equations
A plugin for Coq to add dependent pattern-matching.
Language:Coq2 0
jad-hamza/dopamine
The audio player that keeps it simple
jad-hamza/dotty
Research compiler that will become Scala 3
Language:Scala2 0
jad-hamza/fit-code
Language:TypeScript1 0
jad-hamza/hlgit
Language:Python2 0
jad-hamza/inox
Solver interface for higher-order functional programs
Language:Scala2 0
jad-hamza/leon
The Leon system for verification, synthesis, and more.
Language:Scala2 0
jad-hamza/networking
Language:Scala2 01
jad-hamza/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Language:SMT
jad-hamza/ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
Language:Scala2 0
jad-hamza/scallion
LL(1) parser combinators in Scala
Language:Scala1 0
jad-hamza/smart
Verification and Generation of Smart Contracts using Stainless and Scala
Language:HTML1 0
jad-hamza/stainless-actors
Actor System library for Stainless which runs on Akka
Language:Scala
jad-hamza/StainlessFit
Stainless directly built on System FR, with standalone front end
Language:Scala1 0
jad-hamza/SystemFR
Language:Coq1 0
jad-hamza/vscoq
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
Language:TypeScript1 0