andraskovacs Goto Github PK

activehs

Haskell code presentation tool

aeson

A fast Haskell JSON library

andraskovacs.github.io

My github page

array-primops

Extra foreign primops for primitive arrays.

basichs

Basic Haskell ("funkcionális programozás gyakorlat") lecture notes

bf

Fast Haskell brainfuck interpreter

bi-zipper

Simple bidirectional zipper from any Traversable.

bidirectional

botworld

A cellular automaton for studying self-modifying agents which are embedded in their environment

cctt

high-performance cubical evaluation

chapman-big-step-normalization

Big-step normalization (formalized in Agda)

coq-haskell

A library for formalizing Haskell types and functions in Coq

cpp-show

Converting C++11 types and containers to strings universally.

cubes

cubes-1

cubicaltt

Experimental implementation of Cubical Type Theory

dawg

Generation and traversal of highly compressed directed acyclic word graphs.

dawg-gen

Creates highly compressed directed acyclic word graphs from word lists.

dhall-haskell

A configuration language guaranteed to terminate

dhall-lang

The non-repetitive alternative to YAML

dynamic-array

dynamic-mvector

A wrapper around MVector that enables push/pop/append functionality.

eff-inference

Demonstration of type inference for extensible effects with GHC 8

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

elements-of-compsys

Projects for the book "The Elements of Computing Systems"

elte-cbsd

"Component based software development" course assignments.

environment-bench

Benchmarking compiler representations of variable environments

extensible-effects

Extensible Effects: An Alternative to Monad Transformers

finitaryqiit

Just testing github import feature from bitbucket. Original: https://bitbucket.org/akaposi/finitaryqiit

flat-maybe

Rust-style strict Maybe in Haskell: no space/indirection overhead.