IAvecilla

IAvecilla's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown324k5.6k71230k

• starship/starship

  ☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

  Language:Rust46.4k1872.3k2k

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.9k1851.9k1.1k

• ibraheemdev/modern-unix

  A collection of modern/faster/saner alternatives to common unix commands.

  31.3k39581790

• nim-lang/Nim

  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  Language:Nim16.7k30011.5k1.5k

• srush/GPU-Puzzles

  Solve puzzles. Learn CUDA.

  Language:Jupyter Notebook10.3k19232968

• facundoolano/software-papers

  📚 A curated list of papers for Software Engineers

  Language:Python5.4k706256

• nix-community/awesome-nix

  😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

  3.5k7134156

• BlockchainCommons/Learning-Bitcoin-from-the-Command-Line

  A complete course for learning Bitcoin programming and usage from the command

  Language:Jupyter Notebook3.2k126109768

• seven1m/30-days-of-elixir

  A walk through the Elixir language in 30 exercises.

  Language:Elixir3k1078431

• facebook/winterfell

  A STARK prover and verifier for arbitrary computations

  Language:Rust8192898193

• lambdaclass/lambdaworks

  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

  Language:Rust63610239144

• 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:Rust53110483159

• onlydustxyz/starklings

  An interactive tutorial to get you up and running with Starknet

  Language:Python308108983

• starkware-industries/stark101

  Language:Jupyter Notebook301113105

• yetanotherco/aligned_layer

  Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

  Language:Elixir20212758365

• 0xPARC/plonkathon

  educational python plonk implementation, based on vitalik's py_plonk

  Language:Python1983790

• brainrake/nixos-tutorial

  one hour, hands-on

  Language:Nix140306

• lambdaclass/ethereum_rust

  Lambda Ethereum Rust Execution client

  Language:Rust131534013

• lambdaclass/concrete

  Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

  Language:Rust129118411

• lambdaclass/mirra_backend

  Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games

  Language:Elixir6423422

• lambdaclass/era_vm

  EraVM implementation

  Language:Rust203653

• SantiagoPittella/FeltToString

  Convert your Felt into a String

  Language:TypeScript10100