Leonardo Santiago's Projects
Trabalho de computação 1 (CC)
um simples assembler pra CES
repositório para entrega de trabalhos de avaliação e desempenho (2023.2)
Advent of Code purely as nix expressions
Trabalhos de Computação Concorrente
My emacs config (as a nix flake)
An Emacs Lisp reader in Nix.
my studies through functional implementations of common data-structures
A client to fetch and parse data from HLTV.org (origin at https://foss.alic.dev/dist1ll/hltv-rust)
mini hltv database
A massively parallel, optimal functional runtime in Rust
High-order Virtual Machine (HVM) wrapper on JavaScript, via WASM
General Inets Simulator
repositorio para guardar os trabalhos em java de computação 2 (CC)
Compilador de Javascript em C++
Kind-lang major mode for emacs
A modern proof language
Kindelia: an efficient, secure cryptocomputer
NES emulator in lisP
Nix, the purely functional package manager
Nix bindings for Rust
My personal devices' configuration in nix.
[alpha] Build Rust crates with Nix Build System.
customizing github frontpage
Purely functional data structures in HVM
An earley parser implementation in python