Marcelo Fornet's repositories
project-euler-lean
Proofs of Project Euler problems in LEAN
advent-of-code-2022
Solutions to Advent of Code 2022 | https://adventofcode.com/
sudoku-with-minisat
Solving sudoku instances using minisat
blockchain-scripts-python
Scripts to interact with NEAR and Aurora using Python
caide-docker
Run caide from a docker file. Based on https://github.com/slycelote/caide
near-floating-state
Floating state on NEAR smart contracts
near-mini-explorer
(serverless) NEAR Explorer
account-lookup-table
Advanced tool for account / lockup lookup.
advent-of-code-rust
šStarter template for solving Advent of Code in Rust.
aurora_staking_reward_py
Demo of Aurora Staking Reward
competitive-companion
Browser extension which parses programming problems
EIPs
The Ethereum Improvement Proposal repository
galerio
A simple generator for self-contained HTML flexbox galleries written in Rust.
hashbrown
Rust port of Google's SwissTable hash map
llama-recipes
Scripts for fine-tuning Meta Llama3 with composable FSDP & PEFT methods to cover single/multi-node GPUs. Supports default & custom datasets for applications such as summarization and Q&A. Supporting a number of candid inference solutions such as HF TGI, VLLM for local or cloud deployment. Demo apps to showcase Meta Llama3 for WhatsApp & Messenger.
native-erc20-connector
Connect native Aurora ERC-20 tokens with NEAR
staking-farm
Staking contract with farming capability