josefs/RangeProve
Proving the correctness of range propagation functions using an SMT solver
Discovered public repositories for josefs in the GitHub catalog.
Proving the correctness of range propagation functions using an SMT solver
Public repository.
A port of the engineering units package to Feldspar
A numeric type to automatically manage engineering units in Haskell.
An implementation of "Mathematics of Arrays" in Feldspar
An experiment in
Monad morphisms
BNFC implementation of the OSEK Implementation Language
BNF Converter
Implementation of the paper "A Co-iterative Characterization of Synchronous Stream Functions" by Caspi and Pouzet
Expanding ligatures in unicode text
Public repository.
Exporing various ways to do monadic reification
Public repository.
Linear Logic and Resource-Aware Functional Programming
Public repository.
Universal markup converter