倉庫

HeinrichApfelmus 的倉庫

32 個支援的倉庫

Haskell code presentation tool

最近提交 2011年8月25日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

最近提交 2021年11月18日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2014年1月8日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Haskell implemented with combinators

最近提交 2026年1月7日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Various notes on Agda and agda2hs

最近提交 2024年1月2日

 (2 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Compiling Agda code to readable Haskell

最近提交 2025年6月20日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Bags, indexing and relational databases

最近提交 2025年9月7日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

最近提交 2012年7月29日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Metadata for Cardano's Haskell package repository

最近提交 2025年3月20日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Efficient approximation using Chebyshev polynomials

最近提交 2022年9月13日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Haskell library for representing, transforming, and live coding music

最近提交 2020年2月20日

 (12 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2014年8月23日

 (145 stars) (16 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2011年9月10日

 (3 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)

On-disk storage, but referentially transparent

最近提交 2022年9月25日

 (5 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2023年10月30日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Efficient exact computation of combinatoric functions.

最近提交 2025年2月12日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2024年3月13日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Perform arbitrary monadic computations in a worker thread.

最近提交 2012年6月15日

 (2 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)

Benchmarks to test performance/scalability of FRP libraries

最近提交 2014年1月22日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2021年1月19日

 (65 stars) (5 forks) (0 個已索引 issue) (0 個開放 good first issue)