Pinned Repositories
cakeml
CakeML: A Verified Implementation of ML
cassia
ceres
Useful stuff for certified numerical results in Scala
ck-artifact-evaluation
Collective Knowledge repository to support artifact evaluation and reproducibility initiatives:
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
daisy
GSoC_PDE_solver
Google Summer of Code Scala Numerical PDE solver
hol-guidebook
HOL Guidebook
rosa
Rosa, the real compiler
xfp
Synthesizer for accurate fixed-point arithmetic expressions
malyzajko's Repositories
malyzajko/daisy
malyzajko/rosa
Rosa, the real compiler
malyzajko/ceres
Useful stuff for certified numerical results in Scala
malyzajko/xfp
Synthesizer for accurate fixed-point arithmetic expressions
malyzajko/ck-artifact-evaluation
Collective Knowledge repository to support artifact evaluation and reproducibility initiatives:
malyzajko/cakeml
CakeML: A Verified Implementation of ML
malyzajko/cassia
malyzajko/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
malyzajko/GSoC_PDE_solver
Google Summer of Code Scala Numerical PDE solver
malyzajko/hol-guidebook
HOL Guidebook
malyzajko/malyzajko.github.io
malyzajko/mpfr-java
GNU MPFR Java Bindings
malyzajko/nim
Example boilerplate to get started with typescript app development.
malyzajko/scala-smtlib
SMT-LIB format library for Scala
malyzajko/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
malyzajko/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research