A compiler for a purely functional programming language with emphasis on structural typing

最後更新於 2 月之前

A simple blogging platform with Haskell and Scotty

最後更新於 2 月之前

Minimalistic website for link sharing

最後更新於 4 月之前

An impure, mostly functional, statically type inferred programming language targeting javascript and built on stream. Superseded by Giml

最後更新於 6 月之前

A bytecode interpreter for statically typed functional languages. https://www.youtube.com/watch?v=pKsOAJzfLgE&list=PLhMOOgDOKD4JV2AgL1XzoYanY6RpGKbNa

最後更新於 7 月之前

a silly little programming language inspired by datalog.

最後更新於 7 月之前

A bulletin board website app built with haskell and scotty. video demo: https://www.youtube.com/watch?v=UCR6re3PBNk

最後更新於 7 月之前

users management for scotty

最後更新於 7 月之前

最後更新於 10 月之前

Implementing uniplate combinators using GHC Generics. Some partial results: https://gilmi.me/static/misc/blog-stuff/generic-plate-results.html

最後更新於 1 年之前