Anabra

Functional-Programming-Practice

Repository for the ELTE Faculty of Informatics - Functional Programming subject

Advanced-Haskell-Practice

haskell-tools

Developer tools for Haskell

tdk-2020

actacyb-copyediting

advent-of-code-2021

aws-cloudformation-user-guide

The open source version of the AWS CloudFormation User Guide

DataBases

Repository for the ELTE Faculty of Informatics - Databases II subject

dead-extension-elimination-macs

Extension-Organizer

Extension Organizer for Haskell Tools

final-thesis-bsc

Formal-Semantics

gavle

Collection of Clojure utility functions

GPGPU

grin

GRIN is a compiler back-end for lazy functional languages with whole program optimisation support

grin-compiler.github.io

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

hoogle

Haskell API search engine

http-client

An HTTP client engine, intended as a base layer for more user-friendly packages.

idris-grin

GRIN backend for Idris

imdb-quest

junicamp-c-exam

leksah

Haskell IDE

mathematical-foundations-of-computer-graphics

pandoc

Universal markup converter

tasty

Modern and extensible testing framework for Haskell

type-systems

Repository for the Type Systems university course

yesod

A RESTful Haskell web framework built on WAI.