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
Language:Emacs Lisp1 1 01
1-pixel-wealth
Language:HTML00
alf0nso.github.io
Personal website on https://alf0nso.github.io/
Language:HTML1 1 00
GMP
Grasshopper's Monadic Parser
Language:Haskell13 2 01
HaskerNews
Small project to test scraping of the hacker news website with Haskell
Language:Haskell0 1 00
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Language:Haskell0 0 00
liquidhaskell
Liquid Types For Haskell
Language:Haskell0 0 00
NN-Games
Neural network to play tic tac toe and connect4
Language:Python6 1 00
scel
Supercollider emacs package
Language:Emacs Lisp00
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM35.3k 570 88.9k15.1k

Alf0nso's Repositories

Alf0nso/GMP
Grasshopper's Monadic Parser
Language:Haskell13 2 01
Alf0nso/NN-Games
Neural network to play tic tac toe and connect4
Language:Python6 1 00
Alf0nso/.emacs.d
My current Emacs config, It has only been tested on linux
Language:Emacs Lisp1 1 01
Alf0nso/alf0nso.github.io
Personal website on https://alf0nso.github.io/
Language:HTML1 1 00
Alf0nso/1-pixel-wealth
Language:HTML00
Alf0nso/HaskerNews
Small project to test scraping of the hacker news website with Haskell
Language:Haskell0 1 00
Alf0nso/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Language:Haskell0 0 00
Alf0nso/liquidhaskell
Liquid Types For Haskell
Language:Haskell0 0 00
Alf0nso/scel
Supercollider emacs package
Language:Emacs Lisp00