Doctorate student at ETH Zürich
-
ETH Zürich
- Zürich, Switzerland
- https://dev-xys.github.io
Highlights
- Pro
Stars
6
stars
written in Haskell
Clear filter
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Haskell library for the Microsoft Language Server Protocol
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)