Skip to content
View bartfrenk's full-sized avatar

Block or report bartfrenk

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. resource-server resource-server Public

    A frequency server for the course Concurrent Programming in Erlang

    Erlang

  2. time-tracker time-tracker Public

    Command line client to log time on JIRA issues

    Haskell 14 1

  3. types-and-programming-languages types-and-programming-languages Public

    Haskell implementations of programming languages from Pierce's Types and Programming Languages

    Haskell 1

  4. tree-lang tree-lang Public

    Python-like language and interpreter framework for describing and evaluating decision trees

    Haskell 1