Pinned Repositories
core-to-isabelle
Translator from GHC Core to Isabelle/HOLCF
agdalicious
A compiler and associate libraries for compiling a simple functional language to LLVM
dtgp
Dependently Typed Genetic Programming
isabelle-semantics
A home for my various bits of work on isabelle & denotational semantics
javascript-interpreter
A small interpreter for the Good Parts of javascript, written in Haskell. Mostly for learning javascript by implementation.
linearlambda
A typechecker and interpreter for the linear lambda calculus as presented in the Pfenning course on linear logic
pdx-ruby-course
sf-in-isabelle
caylee-hogg's Repositories
caylee-hogg/pdx-ruby-course
caylee-hogg/dtgp
Dependently Typed Genetic Programming
caylee-hogg/javascript-interpreter
A small interpreter for the Good Parts of javascript, written in Haskell. Mostly for learning javascript by implementation.
caylee-hogg/agdalicious
A compiler and associate libraries for compiling a simple functional language to LLVM
caylee-hogg/isabelle-semantics
A home for my various bits of work on isabelle & denotational semantics
caylee-hogg/linearlambda
A typechecker and interpreter for the linear lambda calculus as presented in the Pfenning course on linear logic
caylee-hogg/sf-in-isabelle