fengctor

Gary Feng's repositories

A DSL for creating 8-bit style music

Language:HaskellBSD-3-Clause22 2 1

A TUI for file management written in Haskell

Language:HaskellBSD-3-Clause1 10

An Agda formalization of many concepts in MATH 135 at the University of Waterloo.

Language:Agda010

Exploring compiler optimizations and analyses on the Bril language in Scala

Language:Scala010

Language:Java000

Language:Java000

Language:Kotlin000

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION000

Language:Java000

Language:OCaml010

An interpreter and REPL for a Scheme-like language written in Scala

Language:Scala010

Going through Types and Programming Languages (Benjamin C. Pierce) in Coq

Language:Coq010

A Sudoku Solver app

Language:Java000

Language:Haskell000

The ultimate Vim configuration: vimrc

Language:Vim ScriptMIT000