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
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.
Language:RustMIT000
aurora_staking_reward_py
Demo of Aurora Staking Reward
Language:TypeScript000
competitive-companion
Browser extension which parses programming problems
EIPs
The Ethereum Improvement Proposal repository
Language:SolidityCC0-1.0000
example-contests-workspace
Example of the workspace to fork
galerio
A simple generator for self-contained HTML flexbox galleries written in Rust.
Language:RustApache-2.0000
Language:Dockerfile000
hashbrown
Rust port of Google's SwissTable hash map
Language:RustApache-2.0000
native-erc20-connector
Connect native Aurora ERC-20 tokens with NEAR
Language:Rust000
Language:Rust000
staking-farm
Staking contract with farming capability