A compiler for a purely functional programming language with emphasis on structural typing
最後更新於 4 天之前
A simple blogging platform with Haskell and Scotty
最後更新於 1 月之前
An impure, mostly functional, statically type inferred programming language targeting javascript and built on stream. Superseded by Giml
最後更新於 1 月之前
最後更新於 3 月之前
A bytecode interpreter for statically typed functional languages. https://www.youtube.com/watch?v=pKsOAJzfLgE&list=PLhMOOgDOKD4JV2AgL1XzoYanY6RpGKbNa
最後更新於 3 月之前
a silly little programming language inspired by datalog.
最後更新於 3 月之前
A bulletin board website app built with haskell and scotty. video demo: https://www.youtube.com/watch?v=UCR6re3PBNk
最後更新於 3 月之前
users management for scotty
最後更新於 3 月之前
最後更新於 4 月之前
最後更新於 6 月之前
Minimalistic website for link sharing
最後更新於 10 月之前
Implementing uniplate combinators using GHC Generics. Some partial results: https://gilmi.me/static/misc/blog-stuff/generic-plate-results.html
最後更新於 1 年之前