jensnicolay/purity
Purity analysis for higher-order, side-effecting programs
Developer Profile
jensnicolay
Discovered public repositories for jensnicolay in the GitHub catalog.
jensnicolay/jfingertree
Automatically exported from code.google.com/p/jfingertree
jensnicolay/streme
Automatically exported from code.google.com/p/streme
jensnicolay/stacco
Automatically exported from code.google.com/p/stacco
jensnicolay/soundbytes
Automatically exported from code.google.com/p/soundbytes
jensnicolay/jtv
Automatically exported from code.google.com/p/jtv
jensnicolay/aac
AAC adventures in Scheme
jensnicolay/abstractmemo
Abstract memoization for stack-summarizing pushdown analysis of higher-order languages.
jensnicolay/jipda
Generic static analysis framework