Pinned Loading

1. TuringLang/IRTracker.jl TuringLang/IRTracker.jl Public

   Dynamically track IR as a graph, using source transformations

   Julia 32 6

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