tdelabro

tdelabro's Stars

• nats-io/nats.rs

  Rust client for NATS, the cloud native messaging system.

  Language:Rust1.1k172

• facebook/winterfell

  A STARK prover and verifier for arbitrary computations

  Language:Rust814193

• maxgillett/giza

  A Cairo VM prover implemented using Winterfell

  Language:Rust15815

• patrickbiel01/Cairo_Verifier

  Language:Rust366

• lambdaclass/cairo-vm

  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

  Language:Rust527156

• rusty-crewmates/substrate-tutorials

  A collection of exercices to teach yourself Substrate

  Language:Rust131113

• onlydustxyz/starklings

  An interactive tutorial to get you up and running with Starknet

  Language:Python30983

• rayon-rs/rayon

  Rayon: A data parallelism library for Rust

  Language:Rust11.3k507

• est31/cargo-udeps

  Find unused dependencies in Cargo.toml

  Language:Rust1.8k46

• cross-rs/cross

  “Zero setup” cross compilation and “cross testing” of Rust crates

  Language:Rust6.9k386

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust99.9k12.9k

• apache/incubator-teaclave-sgx-sdk

  Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

  Language:Rust1.2k265

• leandromoreira/ffmpeg-libav-tutorial

  FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷

  Language:C10.1k966

• Rust-for-Linux/linux

  Adding support for the Rust language to the Linux kernel.

  Language:C4k435

• ffmpegwasm/ffmpeg.wasm

  FFmpeg for browser, powered by WebAssembly

  Language:C14.7k874

• SamyPesse/How-to-Make-a-Computer-Operating-System

  How to Make a Computer Operating System in C++

  Language:C21.6k3.4k

• django-money/django-money

  Money fields for Django forms and models.

  Language:Python1.7k315

• charMstr/printf_lover_v2

  this is a checker for ft_printf (42cursus november 2019)

  Language:C17