Repositories

HeinrichApfelmus repositories

32 supported repositories

Haskell code presentation tool

Last commit Aug 25, 2011

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

Last commit Nov 18, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

looking at 2weeks free time over the holidays this is where I hope to put some of my "reaserch" and toy samples

Last commit Jan 8, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Haskell implemented with combinators

Last commit Jan 7, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Various notes on Agda and agda2hs

Last commit Jan 2, 2024

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Compiling Agda code to readable Haskell

Last commit Jun 20, 2025

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

Bags, indexing and relational databases

Last commit Sep 7, 2025

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

Last commit Jul 29, 2012

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

Metadata for Cardano's Haskell package repository

Last commit Mar 20, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Efficient approximation using Chebyshev polynomials

Last commit Sep 13, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

Haskell library for representing, transforming, and live coding music

Last commit Feb 20, 2020

 (12 stars) (0 forks) (0 indexed issues) (0 open good first issues)

LISP source code for David Cope's book "Computer Models of Musical Creativity".

Last commit Aug 23, 2014

 (143 stars) (16 forks) (0 indexed issues) (0 open good first issues)

Documentation for diagrams, a Haskell embedded domain-specific library for declarative drawing

Last commit Sep 10, 2011

 (3 stars) (1 fork) (0 indexed issues) (0 open good first issues)

On-disk storage, but referentially transparent

Last commit Sep 25, 2022

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A iHaskell-based (Juypter) notebook based workbench for the ∆QSD framework

Last commit Oct 30, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Efficient exact computation of combinatoric functions.

Last commit Feb 12, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

FineTypes is an interface description language (IDL) focussing on types

Last commit Mar 13, 2024

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

Perform arbitrary monadic computations in a worker thread.

Last commit Jun 15, 2012

 (2 stars) (1 fork) (0 indexed issues) (0 open good first issues)

Benchmarks to test performance/scalability of FRP libraries

Last commit Jan 22, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).

Last commit Jan 19, 2021

 (65 stars) (5 forks) (0 indexed issues) (0 open good first issues)