Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing
Barcelona Supercomputing CenterBarcelona
Pinned Repositories
.emacs.d
My current Emacs config, It has only been tested on linux
1-pixel-wealth
alf0nso.github.io
Personal website on https://alf0nso.github.io/
GMP
Grasshopper's Monadic Parser
HaskerNews
Small project to test scraping of the hacker news website with Haskell
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquidhaskell
Liquid Types For Haskell
NN-Games
Neural network to play tic tac toe and connect4
scel
Supercollider emacs package
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Alf0nso's Repositories
Alf0nso/GMP
Grasshopper's Monadic Parser
Alf0nso/NN-Games
Neural network to play tic tac toe and connect4
Alf0nso/.emacs.d
My current Emacs config, It has only been tested on linux
Alf0nso/alf0nso.github.io
Personal website on https://alf0nso.github.io/
Alf0nso/1-pixel-wealth
Alf0nso/HaskerNews
Small project to test scraping of the hacker news website with Haskell
Alf0nso/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Alf0nso/liquidhaskell
Liquid Types For Haskell
Alf0nso/scel
Supercollider emacs package