Skip to content
View phipsgabler's full-sized avatar

Organizations

@Functional-Programming-Graz @TuringLang

Block or report phipsgabler

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. TuringLang/IRTracker.jl TuringLang/IRTracker.jl Public

    Dynamically track IR as a graph, using source transformations

    Julia 31 5

  2. trello2md trello2md Public

    Convert Trello's JSON exports to Markdown.

    Python 20 8

  3. guitarsongbook guitarsongbook Public

    A document class wrapping the songs package

    TeX 2

  4. mini-lambda mini-lambda Public

    A small normalizer for lambda calculus, implementing (almost) everything from scratch.

    Haskell 1

  5. dotfiles dotfiles Public

    Some of my configuration files

    Emacs Lisp 1

  6. master-thesis master-thesis Public archive

    This thesis presents a novel approach for the implementation of a tracking system to facilitate program analysis, based on program transformations. The approach is then applied to a specific proble…

    TeX