Filippo Neysofu Costa (neysofu)

neysofu

Geek Repo

Company:@sovereign-labs

Location:Tuscany, Italy

Home Page:neysofu.me

Twitter:@neysofu

Github PK Tool:Github PK Tool


Organizations
edgeandnode
ferrumfix
graphprotocol
ousialang
Sovereign-Labs

Filippo Neysofu Costa's repositories

awesome-github-actions-runners

Save $$$ and make GitHub Actions go brrr with 3rd-party runners ⚡🤖

reltester

Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator

Language:RustLicense:MITStargazers:18Issues:2Issues:4

en2tex

A CLI utility to generate LaTeX mathematical expressions, powered by OpenAI APIs

Language:RustLicense:MITStargazers:3Issues:0Issues:0

codegen-rs

[UNMAINTAINED] A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen

Language:RustLicense:MITStargazers:2Issues:3Issues:0

zuloid

A chess engine that's easy on the CPU but hard on opponents.

Language:CLicense:GPL-3.0Stargazers:2Issues:5Issues:1

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.

Language:RustLicense:MITStargazers:1Issues:0Issues:0
Language:RustStargazers:1Issues:0Issues:0

jsonified-fix

FIX dictionary data as JSON

Stargazers:1Issues:0Issues:0

risc0-hotfixes

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++License:Apache-2.0Stargazers:1Issues:1Issues:0

sovereign-ibc

Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups

License:Apache-2.0Stargazers:1Issues:0Issues:0
Language:C++Stargazers:1Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0

crev-proofs

Crev proof repository

Stargazers:0Issues:1Issues:0

fuse-experiments

Playing around with FUSE in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

go-names

Website changes monitor script

Language:GoStargazers:0Issues:0Issues:0

itunesearch

A Python wrapper for the dreadful iTunes Search APIs.

Language:PythonLicense:MITStargazers:0Issues:3Issues:1

jsonrpsee

Rust JSON-RPC library on top of async/await

Language:RustLicense:MITStargazers:0Issues:1Issues:0

lambdaical.com

Source code for lambdaical.com

Language:HTMLStargazers:0Issues:2Issues:0

lecasedipaola

Single-page website that I made for my grandma's Bed & Breakfast

Language:CSSStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:2Issues:0

neysofu.github.io

My personal website. Design from https://bchiang7.github.io/v3/

Language:SCSSStargazers:0Issues:0Issues:0

opengl-experiments

My LearnOpenGL progress

Language:CLicense:MITStargazers:0Issues:0Issues:0

phil-opp-rust-os

My progress in the "Writing an OS in Rust" blog series

Language:RustStargazers:0Issues:0Issues:0

rust-cache

A GitHub Action that implements smart caching for rust/cargo projects

Language:TypeScriptLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

securion

Elixir client library for https://api.securionpay.com.

Language:ElixirLicense:ISCStargazers:0Issues:3Issues:0

sovereign-sdk

A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

uni-file-storage

(@unipisa) File storage server written in C99.

Language:CLicense:MITStargazers:0Issues:3Issues:0

uni-microblog

(@unipisa) Social network library in Java

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

uni-ocaml-interpreter

(@unipisa) Intepreter written in OCaml for a toy functional language

Language:OCamlStargazers:0Issues:2Issues:0