Lorenzo Battistela

javascript-projects. Javascript projects that i built for practice

lambda-calculus-eval. C

agda-check. Check agda commands from your terminal

babi-lang. OCaml

mojoDL. Python

hs-highlight. Haskell

agda-think-tank. Agda

mips-assembly-decoder-encoder. C

affine-untyped-lambda-calculus. Rust

inets. C

maratona-discover. Project maratona discover by rocketseat. Building finance application.

pomodoro-countdown. Pomodoro technique app, usually 25 minutes focus and 5 minutes pause. After 4 breaks of 5 minutes, a break of 20 minutes.

predict-iris. Python

4d-mario-like. Rust

de-bruijn. TypeScript

financial-manager-frontend. Python

game-dev. Haskell

shell-speak. Go

financial-manager. Rust