Filippo Neysofu Costa's repositories
awesome-github-actions-runners
Save $$$ and make GitHub Actions go brrr with 3rd-party runners ⚡🤖
codegen-rs
[UNMAINTAINED] A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen
advent-of-code-2022
My Advent of Code 2022 solutions, in Koka 🎄🎁
cargo-squatty
Helper tool to reserve names for your crates on https://crates.io. Use responsibly.
jsonified-fix
FIX dictionary data as JSON
risc0-hotfixes
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
sovereign-ibc
Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups
crev-proofs
Crev proof repository
fuse-experiments
Playing around with FUSE in Rust
go-names
Website changes monitor script
itunesearch
A Python wrapper for the dreadful iTunes Search APIs.
lambdaical.com
Source code for lambdaical.com
lecasedipaola
Single-page website that I made for my grandma's Bed & Breakfast
neysofu.github.io
My personal website. Design from https://bchiang7.github.io/v3/
opengl-experiments
My LearnOpenGL progress
phil-opp-rust-os
My progress in the "Writing an OS in Rust" blog series
rust-cache
A GitHub Action that implements smart caching for rust/cargo projects
sovereign-sdk
A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain
uni-file-storage
(@unipisa) File storage server written in C99.
uni-microblog
(@unipisa) Social network library in Java
uni-ocaml-interpreter
(@unipisa) Intepreter written in OCaml for a toy functional language