リポジトリ

HeinrichApfelmus のリポジトリ

32 件の対応リポジトリ

Haskell code presentation tool

最終コミット 2011/08/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/01/08

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Haskell implemented with combinators

最終コミット 2026/01/07

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Various notes on Agda and agda2hs

最終コミット 2024/01/02

 (2 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Compiling Agda code to readable Haskell

最終コミット 2025/06/20

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Bags, indexing and relational databases

最終コミット 2025/09/07

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

最終コミット 2012/07/29

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Metadata for Cardano's Haskell package repository

最終コミット 2025/03/20

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Efficient approximation using Chebyshev polynomials

最終コミット 2022/09/13

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Haskell library for representing, transforming, and live coding music

最終コミット 2020/02/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/08/23

 (145 stars) (16 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

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

最終コミット 2011/09/10

 (3 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)

On-disk storage, but referentially transparent

最終コミット 2022/09/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/02/12

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

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

最終コミット 2024/03/13

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Perform arbitrary monadic computations in a worker thread.

最終コミット 2012/06/15

 (2 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)

Benchmarks to test performance/scalability of FRP libraries

最終コミット 2014/01/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/01/19

 (65 stars) (5 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)