walkie

Compiler engineer and PL researcher

@ElementalCognitionCorvallis, Oregon

Pinned Repositories

academic-webpage
My old academic web page.
Language:Haskell8 3 20
CC-GTTSE
Choice calculus library for the 2011 GTTSE Summer School.
Language:Haskell2 3 01
CC-TaglessFinal
A simple tagless final variation language.
Language:Haskell2 3 00
Hagl
A Haskell DSEL for experimental game theory.
Language:Haskell36 7 39
Hagl-JFP
A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.
Language:Haskell3 3 01
modular-pcf
Simply typed PCF with an ML-style module system.
Language:Haskell3 3 00
Resource-DSL
Resource DSL for the Immortals project.
Language:Haskell1 7 00
tit-for-tat
A game theory toolbox in Rust.
Language:Rust5 1 00

walkie's Repositories

walkie/Hagl
A Haskell DSEL for experimental game theory.
Language:Haskell36 7 39
walkie/academic-webpage
My old academic web page.
Language:Haskell8 3 20
walkie/tit-for-tat
A game theory toolbox in Rust.
Language:Rust5 1 00
walkie/Hagl-JFP
A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.
Language:Haskell3 3 01
walkie/modular-pcf
Simply typed PCF with an ML-style module system.
Language:Haskell3 3 00
walkie/GameTheory-Idris
A behavioral game theory library in Idris.
Language:Idris2 3 02
walkie/icfp2014
University of Marburg - ICFP Programming Contest 2014
Language:Scala2 6 31
walkie/CC-Minimal
Language:Haskell1 3 01
walkie/CC-Syntactic
Language:Haskell1 3 0
walkie/DotFiles
My configuration files.
Language:Perl1 3 0
walkie/Hagl-WCDSL
A Haskell DSEL for experimental game theory - version corresponding to our paper at IFIP Working Conf. on Domain-Specific Languages 2009.
Language:Haskell1 3 12
walkie/Resource-DSL
Resource DSL for the Immortals project.
Language:Haskell1 7 00
walkie/twelf-vim
Basic vim plugin for Twelf.
Language:VimL1 2 1
walkie/walkie.github.io
Language:HTML1 2 0
walkie/bevy
A refreshingly simple data-driven game engine built in Rust
walkie/file-tree-alternative
This Obsidian Plugin allows users to have a different file explorer experience.
Language:TypeScript0 0
walkie/frame_transpiler
Frame is a markdown language for creating state machines (automata) in 7 programming languages as well as generating UML documentation.
Language:Rust1 0
walkie/haskell-vim
Custom Haskell Vimscripts
Language:VimL2 0
walkie/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Language:Haskell1 0
walkie/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell
walkie/idris-vim
Idris mode for vim
Language:VimL2 0
walkie/IdrisDemo
A brief example-based introduction to Idris.
Language:Idris
walkie/im-rs
Assorted immutable collection datatypes for Rust
walkie/llvm-hs
Haskell bindings for LLVM
Language:Haskell2 0
walkie/markdown.sty
Adds a Markdown environment to LaTeX.
Language:TeX2
walkie/popl2018-papers
Link to preprints for POPL'18 and colocated events
2 01
walkie/rust-lang-book
The Rust Programming Language
Language:Rust3 0
walkie/rustfmt-test-submodule-issue
Language:Rust2 0
walkie/tpm
Tmux Plugin Manager
Language:Shell0 0
walkie/x11-colors-less
Less variable definitions for the color names in X11's rgb.txt file.
Language:CSS2 0