Pinned Repositories
Agda-MATH135
An Agda formalization of many concepts in MATH 135 at the University of Waterloo.
bril-scala
Exploring compiler optimizations and analyses on the Bril language in Scala
click-the-colour
Flashcards
MatrixTools
navim
A TUI for file management written in Haskell
octune
A DSL for creating 8-bit style music
remy_type_inference
Schela
An interpreter and REPL for a Scheme-like language written in Scala
tapl-coq
Going through Types and Programming Languages (Benjamin C. Pierce) in Coq
fengctor's Repositories
fengctor/octune
A DSL for creating 8-bit style music
fengctor/navim
A TUI for file management written in Haskell
fengctor/Agda-MATH135
An Agda formalization of many concepts in MATH 135 at the University of Waterloo.
fengctor/bril-scala
Exploring compiler optimizations and analyses on the Bril language in Scala
fengctor/click-the-colour
fengctor/Flashcards
fengctor/MatrixTools
fengctor/ocaml
The core OCaml system: compilers, runtime system, base libraries
fengctor/QuadRoots
fengctor/remy_type_inference
fengctor/Schela
An interpreter and REPL for a Scheme-like language written in Scala
fengctor/tapl-coq
Going through Types and Programming Languages (Benjamin C. Pierce) in Coq
fengctor/Sudoku
A Sudoku Solver app
fengctor/tictactoe
fengctor/vimrc
The ultimate Vim configuration: vimrc