Dépôts

Dépôts de HeinrichApfelmus

32 dépôts pris en charge

Haskell code presentation tool

Dernier commit 25 août 2011

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Dernier commit 18 nov. 2021

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 8 janv. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Haskell implemented with combinators

Dernier commit 7 janv. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Various notes on Agda and agda2hs

Dernier commit 2 janv. 2024

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Compiling Agda code to readable Haskell

Dernier commit 20 juin 2025

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Bags, indexing and relational databases

Dernier commit 7 sept. 2025

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Dernier commit 29 juil. 2012

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Metadata for Cardano's Haskell package repository

Dernier commit 20 mars 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Efficient approximation using Chebyshev polynomials

Dernier commit 13 sept. 2022

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Haskell library for representing, transforming, and live coding music

Dernier commit 20 févr. 2020

 (12 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 23 août 2014

 (145 stars) (16 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 10 sept. 2011

 (3 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)

On-disk storage, but referentially transparent

Dernier commit 25 sept. 2022

 (5 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 30 oct. 2023

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Efficient exact computation of combinatoric functions.

Dernier commit 12 févr. 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 13 mars 2024

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Perform arbitrary monadic computations in a worker thread.

Dernier commit 15 juin 2012

 (2 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)

Benchmarks to test performance/scalability of FRP libraries

Dernier commit 22 janv. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 19 janv. 2021

 (65 stars) (5 forks) (0 issues indexées) (0 good first issues ouvertes)