Leonardo Santos's Projects
My configuration for all of my systems using Nix
projeto de batalha naval para programacao
Formal verification for OCaml
Network Systems Administration practical work
test fork
A bad simply typed lambda calculus interpreter
A corpus of automatically graded exercises to learn functional programming in OCaml.
Simply typed lambda calculus, but lispy
Execute OCaml in your Latex files
Luna is a general purpose language
Execute code blocks inside your documentation
MOBS - MOdular Blockchain Simulator
To get away
Nix Packages collection & NixOS
my neovim config
The core OCaml system: compilers, runtime system, base libraries
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
Open-source keyboard firmware for Atmel AVR and Arm USB families
Sentiment analysis for the desktop
Simple client-server chat using OCaml's multi-core system
OpenGL Solar System with a couple of interesting features
Get a playlist based on how you are feeling
An encryption/decryption algorithm based on Lorenz's Strange Attractor
Template LaTeX para um relatório de trabalhos da UBI
custom theme for tmux based on catppuccin
Beamer template for Universidade da Beira Interior
OCaml inspired language
my personal website