8000 lvella (Lucas Clemente Vella) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View lvella's full-sized avatar

Organizations

@powdr-labs

Block or report lvella

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Declare your digital independence

Rust 2,377 93 Updated Jul 4, 2025

🌌 Open Source AI for large scale open ended feedback

Python 902 213 Updated Jul 5, 2025

AdNauseam: Fight back against advertising surveillance

JavaScript 4,799 194 Updated Jul 2, 2025

A third-party, open-source ProtonMail CardDAV, IMAP and SMTP bridge

Go 1,824 132 Updated May 5, 2025

Postgres module for Zstandard compression/decompression with preset dictionary support

C 40 4 Updated Oct 18, 2018

libc targeted for embedded systems usage. Reduced set of functionality (due to embedded nature). Chosen for portability and quick bringup.

C 591 75 Updated Mar 5, 2025

Embedded Systems C++ Library Support (Currently wraps libcxx)

C++ 91 17 Updated Nov 11, 2024

Steam In-Home Streaming Client Application

C 361 12 Updated Jun 10, 2024

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

C 22,169 938 Updated Jul 4, 2025

The binary-layout library allows type-safe, inplace, zero-copy access to structured binary data. You define a custom data layout and give it a slice of binary data, and it will allow you to read an…

Rust 71 9 Updated Dec 13, 2024

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

C++ 8,286 968 Updated Jul 3, 2025

Steam Audio

C++ 2,531 187 Updated Jun 19, 2025

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Rust 4,614 112 Updated Jan 28, 2025

An open source engine for your digital products. Sell SaaS and digital products in minutes.

Python 5,737 351 Updated Jul 5, 2025

Rust implementation of the Ethereum Virtual Machine.

Rust 1,900 741 Updated Jul 5, 2025

An unofficial Box2D physics server for Godot Engine, implemented as a GDExtension

C++ 51 9 Updated Jul 21, 2023

Implementation of Nougat Neural Optical Understanding for Academic Documents

Python 9,515 615 Updated Feb 21, 2025

A Rust zkVM with a Modular Proof System

Rust 142 38 Updated May 22, 2025

derive(Error) for struct and enum error types

Rust 10 1 Updated Nov 19, 2023

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

Rust 94,271 2,936 Updated Jul 6, 2025

3D and 2D game engine written in Rust

Rust 8,346 389 Updated Jul 6, 2025

Synapse BitTorrent Daemon

Rust 852 48 Updated Oct 18, 2023

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

Rust 119 5 Updated May 6, 2024

Circuit benchmarks (test cases) for formal verification of zk circuits

Python 9 Updated Nov 30, 2022

r1cs file format parser

JavaScript 24 15 Updated May 6, 2024

LR(1) parser generator for Rust

Rust 3,270 299 Updated Jun 19, 2025

A collection of numeric types and traits for Rust.

Rust 1,133 149 Updated Jan 25, 2025

Rust bindings for the Z3 solver.

Rust 406 126 Updated Jul 5, 2025

Cap'n Proto serialization/RPC system - core tools and C++ library

C++ 12,288 968 Updated Jul 3, 2025
Next
0