Pinned Repositories
nixpkgs
Nix Packages collection & NixOS
dunai-bayes
enigmage
An image viewer with animations, written in python
essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Framework
essence-of-live-coding-tutorial
Tutorial for essence-of-live-coding
has-transformers
This library `Has` transformers
rhine
Haskell Functional Reactive Programming framework with type-level clocks
rhine-koans
Koans to learn rhine
rhine-tutorial
A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)
sonnendemo
Demonstration app for rhine-gloss containing a little simulation of a solar panel, a wind turbine and a battery
turion's Repositories
turion/rhine
Haskell Functional Reactive Programming framework with type-level clocks
turion/essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Framework
turion/rhine-koans
Koans to learn rhine
turion/dunai-bayes
turion/ex_type
A type checker for Elixir
turion/rhine-tutorial
A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)
turion/time-domain
turion/dunai
Functional Reactive Programming using Monadic Stream Functions (forked core library)
turion/monad-schedule
turion/alga
Algebraic graphs
turion/apply-merge
Lift a binary, non-decreasing function onto ordered lists and order the output
turion/bayes-optics
Scribbles for the paper Bayesian Updates Compose Optically
turion/csvdiff3
3-way diff/merge tools for CSV files
turion/dunai-live
Dunai API wrapper around essence-of-live-coding
turion/finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
turion/free-algebras
Free Algebras in Haskell
turion/free-category
Free categories, free arrows and free categories with monadic actions
turion/free-listt
Lawful list and set monad transformers based on free monads
turion/get-tested
Go get tested!
turion/monad-bayes
A library for probabilistic programming in Haskell.
turion/monoid-action-t
Monoid action monad transformer, a generalisation of AccumT
turion/nixpkgs
Nix Packages collection
turion/operational
Implement monads by specifying instructions and their desired operational semantics.
turion/optimal-lp
turion/rustler
Safe Rust bridge for creating Erlang NIF functions
turion/stackage
"Stable Hackage": vetted consistent packages from Hackage
turion/streaming-benchmarks
Benchmarks to compare Haskell streaming library performance
turion/these
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
turion/vector-sized-transformer
Like ListT, but with a type-level length. Like vector-sized, but with monads.
turion/zfoh.ch
Our homepage