Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. Haskell Functional Reactive Programming framework with type-level clocks

    Haskell 65 7

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

    TeX 1 1

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

    Haskell 109 18

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

    Haskell 4

  5. Nix Packages collection

    Nix 5.7k 5.4k

  6. 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

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.