Haskell and Python programmer. Smart-contracts, PL theory and formal methods enthusiast.
- Chiang Mai
-
18:20
(UTC +07:00) - @uhbif19
Stars
2
stars
written in Common Lisp
Clear filter
Maru - a tiny self-hosting lisp dialect
Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.