Iago Leal's repositories
doctor.nvim
Emacs greatest feature, now also in neovim!
iagoleal.github.io
Personal site and blog
RankRevealing.jl
Rank-sensitive methods to decompose matrices over arbitrary fields
DeformableBodies.jl
Julia package dedicated to modeling and solving the change of reference frame problem for self-deforming bodies.
fennel-snake
A simple implementation of the game Snake using fennel and love2d
lazy-streams
Lazy (possibly) infinite linked lists in Lua
game-of-life
John Conway's Game of Life
Language:HaskellBSD-3-Clause000
ITensors.jl
A Julia library for efficient tensor computations and tensor network calculations
Language:JuliaApache-2.0000
plfa-exercises
Answers to the exercises on the book Programming Language Foundations in Agda