Peter Podlovics's repositories
Functional-Programming-Practice
Repository for the ELTE Faculty of Informatics - Functional Programming subject
haskell-tools
Developer tools for Haskell
aws-cloudformation-user-guide
The open source version of the AWS CloudFormation User Guide
Extension-Organizer
Extension Organizer for Haskell Tools
grin-datalog-hpt-experiment
Experiment to model GRIN in Souffle/Datalog with Heap Points-To Analysis
haskell-tools-atom
An Atom editor binding for the Haskell-tools framework
homplexity
Haskell code complexity and quality measurement
http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
idris-grin
GRIN backend for Idris
Language:C000
type-systems
Repository for the Type Systems university course