Lucas Clemente Vella (lvella)

lvella

Geek Repo

Company:@ethereum

Location:Portugal

Twitter:@lcvella

Github PK Tool:Github PK Tool


Organizations
powdr-labs

Lucas Clemente Vella's repositories

xevil

Adaptation for modern compilers and 64 bits machines of old XEvil game.

polynomial-solver

Solves systems of polynomial equations.

Language:RustLicense:MITStargazers:28Issues:2Issues:16

mineswapper

A minesweeper-like game where you only lose if the move is certainly wrong.

solmap

Solar panel placing helper tool.

Language:C++License:GPL-3.0Stargazers:1Issues:2Issues:3

bastroblasto

Port of ggez example "05_astroblasto.rs" to bevy.

Language:RustLicense:MITStargazers:0Issues:2Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

binary-layout-derive

Procedural macro to automatically derive binary_layout::LayoutAs for enums.

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

curl

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET and TFTP. libcurl offers a myriad of powerful features

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:0Issues:0

godot

Godot Engine – Multi-platform 2D and 3D game engine

Language:C++License:MITStargazers:0Issues:0Issues:0

godot-docs

Godot Engine official documentation

Language:reStructuredTextLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hactool

hactool is a tool to view information about, decrypt, and extract common file formats for the Nintendo Switch, especially Nintendo Content Archives.

License:ISCStargazers:0Issues:0Issues:0

ihsplay

Steam In-Home Streaming Client Application

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:1

magic-rustmann

Some day, maybe, will be able to simulate fluid flow.

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

memmap2-rs

cross-platform Rust API for memory mapped IO

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

powdr-brainfuck

ZK proofs for Brainfuck execution using powdr

Language:AssemblyStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

retdec

RetDec is a retargetable machine-code decompiler based on LLVM.

License:MITStargazers:0Issues:0Issues:0

rug-dynamic

A dynamic library wrapper around rug.

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

rvemu

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

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

sampled-voting

MACI compatible random candidate draw implemented using zkSNARK, for sampled voting.

Stargazers:0Issues:1Issues:0

sudachi

Sudachi is a Nintendo Switch emulator for Android, Linux, macOS and Windows written in C++

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

suyu

My fork of Suyu, a legal Nintendo Switch competitor, as established by Sony v. Connectix, 203 F.3d 596 (2000) and others. It is a little cumbersome to submit PRs to their upstream git server, so I am willing to take PR's here and submit it there (while this GitHub page is not DMCA trolled, too).

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

transmission

Official Transmission BitTorrent client repository

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

yuzu

Nintendo Switch emulator

License:GPL-3.0Stargazers:0Issues:0Issues:0
License:GPL-3.0Stargazers:0Issues:0Issues:0

zeropool-utils

R1CS binary file format parser/serializer in rust

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

ZoKrates

A toolbox for zkSNARKs on Ethereum

Language:RustLicense:LGPL-3.0Stargazers:0Issues:0Issues:0