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
ex_type
A type checker for Elixir
has-transformers
This library `Has` transformers
rhine
Haskell Functional Reactive Programming framework with type-level clocks
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/essence-of-live-coding-tutorial
Tutorial for essence-of-live-coding
turion/dunai-bayes
turion/ex_type
A type checker for Elixir
turion/time-domain
turion/dunai
Functional Reactive Programming using Monadic Stream Functions (forked core library)
turion/monad-schedule
turion/rhine-koans
Koans to learn rhine
turion/apply-merge
Lift a binary, non-decreasing function onto ordered lists and order the output
turion/audiobookshelf-web
Website for audiobookshelf
turion/awesome-livecoding
All things livecoding
turion/csvdiff3
3-way diff/merge tools for CSV files
turion/finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
turion/free
free monads
turion/free-listt
Lawful list and set monad transformers based on free monads
turion/gasp
Another Haskell Prelude for Algebraic Classes and Structures
turion/get-tested
Go get tested!
turion/hallux
An implementation of Finger Trees for Elixir
turion/hs-opt-handbook.github.io
The Haskell Optimization Handbook
turion/jupyenv-bug
turion/monad-bayes
A library for probabilistic programming in Haskell.
turion/nixpkgs
Nix Packages collection
turion/OpenGLRaw
Haskell bindings to OpenGL (direct C bindings)
turion/operational
Implement monads by specifying instructions and their desired operational semantics.
turion/opetopic
Web based opetopic editor
turion/optimal-lp
turion/rustler
Safe Rust bridge for creating Erlang NIF functions
turion/stackage
"Stable Hackage": vetted consistent packages from Hackage
turion/vector-sized-transformer
Like ListT, but with a type-level length. Like vector-sized, but with monads.