Alf0nso

Afonso Rafael (Gafanhoto)'s repositories

Grasshopper's Monadic Parser

Language:HaskellNOASSERTION9 20

Neural network to play tic tac toe and connect4

Language:Python5 10

Personal website on https://alf0nso.github.io/

Language:TeX010

My current Emacs config, It has only been tested on linux

Language:Emacs Lisp000

Small project to test scraping of the hacker news website with Haskell

Language:HaskellNOASSERTION000

Horn Clause Constraint Solving for Liquid Types

Language:HaskellBSD-3-Clause000

Liquid Types For Haskell

Language:HaskellBSD-3-Clause000