jyp/dvi-processing
Processing of dvi files
Developer Profile
jyp
Discovered public repositories for jyp in the GitHub catalog.
jyp/PaperTools
paper writing tools
jyp/emacs-color-theme-solarized
Emacs highlighting using Ethan Schoonover’s Solarized color scheme
jyp/nofib
Public repository.
jyp/ControlledFusion
Public repository.
jyp/Parsek
The Parsek library developed by Koen Claessen in his functional pearl article Parallel Parsing Processes
jyp/Phlyd
A liquid democracy implementation
jyp/bnfc
BNF Converter
jyp/NameBindingSurvey
A survey of name binding methods
jyp/hgal
Haskell Graph Automorphism Library
jyp/TTNameBinders
Adventures with names and binders in type-theory
jyp/imbib
bibtex management functions and gui
jyp/MarXup
Markup language on top of Haskell
jyp/labeled-tree
Haskell labeled trees
jyp/Cake
Build system as a Haskell library
jyp/labeled-graph
Haskell Labeled Graph
jyp/nano-Agda
Tiny type-checker with dependent types
jyp/Generic-Programming-WIth-Dependent-Types
A translation to Agda of the paper with the same title of Altenkirch et al.
jyp/topics
Various interesting topics I'm looking at