Skip to content
Avatar
  • Block or report user

    Block or report turion

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
43 followers · 6 following · 11

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. rhine

    Haskell Functional Reactive Programming framework with type-level clocks

    Haskell 65 7

  2. rhine-tutorial

    A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)

    TeX 1 1

  3. ivanperez-keera/dunai

    Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions

    Haskell 109 18

  4. sonnendemo

    Demonstration app for rhine-gloss containing a little simulation of a solar panel, a wind turbine and a battery

    Haskell 4

  5. NixOS/nixpkgs

    Nix Packages collection

    Nix 5.7k 5.4k

  6. agda-stdlib

    Forked from agda/agda-stdlib

    The Agda standard library

    Agda

438 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Happy Halloween! Learn how we count contributions.
Less
More

Contribution activity

October 2020

Created a pull request in NixOS/nixpkgs that received 8 comments

Dev add agdarsec

Motivation for this change Add the https://github.com/gallais/agdarsec/ library to nixpkgs u Things done Tested using sandboxing (nix.useSandbox …

+31 −3 • 8 comments

Created an issue in maralorn/nix-output-monitor that received 6 comments

Put on hackage & stackage & nixpkgs

If you add this to hackage & stackage, it will automatically appear in nixpkgs, making installation a lot easier for nix users.

6 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.