Filippo Neysofu Costa's Projects
My Advent of Code 2022 solutions, in Koka 🎄🎁
Save $$$ and make GitHub Actions go brrr with 3rd-party runners ⚡🤖
Helper tool to reserve names for your crates on https://crates.io. Use responsibly.
[UNMAINTAINED] A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen
Crev proof repository
A CLI utility to generate LaTeX mathematical expressions, powered by OpenAI APIs
fix-rs is a FIX (Financial Information Exchange) engine written in Rust.
Playing around with FUSE in Rust
Website changes monitor script
Harry Potter and the Sorcerer's Stone, in Brainfuck.
A webpage that lets you download high-resolution album covers from the iTunes APIs.
A Python wrapper for the dreadful iTunes Search APIs.
FIX dictionary data as JSON
Rust JSON-RPC library on top of async/await
A binary λ-calculus (BLC) interpreter written only in Python lambdas.
Source code for lambdaical.com
Single-page website that I made for my grandma's Bed & Breakfast
My personal website. Design from https://bchiang7.github.io/v3/
A planet name generator for No Man's Sky.
My LearnOpenGL progress
My progress in the "Writing an OS in Rust" blog series
Web scraper to train profanity detectors. NSFW!
Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A GitHub Action that implements smart caching for rust/cargo projects
Elixir client library for https://api.securionpay.com.