Beast code in Giters

Eva Darulova's repositories

Language:ScalaNOASSERTION40 3 10

Rosa, the real compiler

Language:ScalaNOASSERTION19 6 3

Useful stuff for certified numerical results in Scala

Language:ScalaNOASSERTION700

Synthesizer for accurate fixed-point arithmetic expressions

Language:JavaNOASSERTION500

Collective Knowledge repository to support artifact evaluation and reproducibility initiatives:

Language:JavaScriptNOASSERTION100

CakeML: A Verified Implementation of ML

Language:Standard MLNOASSERTION000

Language:ScalaNOASSERTION000

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTNOASSERTION000

Google Summer of Code Scala Numerical PDE solver

Language:Scala000

HOL Guidebook

Language:CSS000

Language:HTML000

GNU MPFR Java Bindings

NOASSERTION000

SMT-LIB format library for Scala

Language:SMTMIT000

Binders and more to the Z3 SMT solver for Scala

Language:Scala000

Women in Programming Languages and Software Engineering Research

000