Discover @HeinrichApfelmus Open Source projects

Heinrich Apfelmus (@HeinrichApfelmus)

HeinrichApfelmus

Stars
1,726
Global Rank 17,910 (Top 0.7 %)
Followers 230
Following 6
Registered almost 14 years ago
Most used languages

Haskell
66.7 %

C
6.7 %

Ruby
6.7 %

Agda 6.7 %

JavaScript
6.7 %

Common Lisp
6.7 %
Location 🇩🇪 Germany
Country Total Rank 1,001
Country Ranking

Haskell
5

Common Lisp
9

Agda 14

JavaScript
562

C
680

Ruby
2,234

reactive-banana

Library for functional reactive programming in Haskell.

threepenny-gui

GUI framework that uses the web browser as a display.

hyper-haskell

The strongly hyped Haskell interpreter.

david-cope-cmmc

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

operational

Implement monads by specifying instructions and their desired operational semantics.

frp-guides

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

vault

A typed, persistent store for values of arbitrary types

tomato-rubato

Tomato-rubato is an easy to use library for live audio programming in Haskell.

optimize-monad-trans

Toy example — How can GHC optimize monad transformers?

cnoidal

Haskell library for representing, transforming, and live coding music

disk-bytes

On-disk storage, but referentially transparent

diagrams-doc

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

textmate-haskell

A Haskell bundle for TextMate

forklift

Perform arbitrary monadic computations in a worker thread.

agda-notes

Various notes on Agda and agda2hs