profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/psosera/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Peter-Michael Osera psosera Grinnell College Grinnell, IA https://osera.cs.grinnell.edu

jfrankle/refinements-popl-16 8

Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

dmwit/limph 2

lightweight monadic programming for Haskell

arthurhero/ZCompiler 1

The first compiler I built.

khoa-ho/compiler 1

A compiler implemented in OCaml

psosera/ghost-keyboard 1

Windows utility that displays a keyboard that mirrors your keystrokes.

psosera/ott-vim 1

Vim syntax highlighting for the ott programming languages design tool

psosera/pli-notes 1

Programming Language Implementation in Haskell - Study Notes

qishuyi/Compiler 1

A compiler for a small arithmetic language based on S-expressions

sheltah22/some-compiler 1

A compiler for some toy language

startedpsosera/pli-notes

started time in 4 days

startedpsosera/pli-notes

started time in 4 days