Repositórios

Repositórios de HeinrichApfelmus

32 repositórios suportados

Haskell code presentation tool

Último commit 25 de ago. de 2011

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Último commit 18 de nov. de 2021

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 8 de jan. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Haskell implemented with combinators

Último commit 7 de jan. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Various notes on Agda and agda2hs

Último commit 2 de jan. de 2024

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Compiling Agda code to readable Haskell

Último commit 20 de jun. de 2025

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Bags, indexing and relational databases

Último commit 7 de set. de 2025

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Último commit 29 de jul. de 2012

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Metadata for Cardano's Haskell package repository

Último commit 20 de mar. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Efficient approximation using Chebyshev polynomials

Último commit 13 de set. de 2022

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Haskell library for representing, transforming, and live coding music

Último commit 20 de fev. de 2020

 (12 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 23 de ago. de 2014

 (145 stars) (16 forks) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 10 de set. de 2011

 (3 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)

On-disk storage, but referentially transparent

Último commit 25 de set. de 2022

 (5 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 30 de out. de 2023

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Efficient exact computation of combinatoric functions.

Último commit 12 de fev. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 13 de mar. de 2024

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Perform arbitrary monadic computations in a worker thread.

Último commit 15 de jun. de 2012

 (2 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)

Benchmarks to test performance/scalability of FRP libraries

Último commit 22 de jan. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 19 de jan. de 2021

 (65 stars) (5 forks) (0 issues indexadas) (0 good first issues abertas)