AgustinBadi

AgustinBadi's Stars

• ratatui/ratatui

  A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

  Language:Rust11.4k34361352

• joelibaceta/video-to-ascii

  It is a simple python package to play videos in the terminal using characters as pixels

  Language:Python1.7k1855144

• IntersectMBO/plutus

  The Plutus language implementation and tools

  Language:Haskell1.6k1141.3k483

• iden3/circom

  zkSnark circuit compiler

  Language:WebAssembly1.4k19152281

• Python-Cardano/pycardano

  A lightweight Cardano library in Python

  Language:Python2181210771

• input-output-hk/cardano-js-sdk

  JavaScript SDK for interacting with Cardano, providing various key management options, with support for popular hardware wallets

  Language:TypeScript215345259

• erhant/circomkit

  A testing & development environment for Circom.

  Language:TypeScript1023606

• aiken-lang/awesome-aiken

  A collection of Aiken libraries, dapps, and resources

  595019

• cardano-miners/fortuna

  All the "greatness" of proof of work, now in smart contract form

  Language:TypeScript5262723

• tweag/cooked-validators

  Language:Haskell391312611

• aiken-lang/merkle-patricia-forestry

  🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.

  Language:JavaScript32107

• vacuumlabs/cardano-ctf

  A game where Cardano developers and enthusiasts can try to exploit purposely vulnerable smart contracts and learn about the most common security issues and how to prevent them.

  Language:TypeScript27606

• zkFold/zkfold-base

  ZkFold's Base library

  Language:Haskell1731207

• simonwep/conway

  🕹 Supercharged version of conways game-of-life brought to life by wasm and workers.

  Language:TypeScript1310

• aiken-lang/sparse-merkle-tree

  A sparse merkle tree lib focused on efficient on-chain proofs. Enforces ordering within the merkle tree.

  Language:Rust8111

• Astodialo/unLearn

  unLearn neighborhood

  Language:TypeScript8200

• nnamdiarimah/nodejs-fortuna-miner

  Language:JavaScript810

• logical-mechanism/Tx-Simulation

  Simulates a cardano transaction with aiken tx simulate and Koios.

  Language:Python6102

• MicroProofs/inverse-whirlpool

  Language:JavaScript6201

• arielgabizon/perpetualpowersoftau

  51017

• MidnightLatam/silent-link-network

  This is our submission for the Midnight's Rare Evo Hackathon 2024

  Language:TypeScript310

• Modulo-P/hydra-node-plutusv3

  Experimental Hydra Plutus V3 setup

  Language:Shell2000

• QCPOLstakepool/fortuna-explorer

  Language:TypeScript21120

• AdaSouls/Cardano-Soulbound

  Implementation of Soulbound Credentials in Cardano

  Language:TypeScript1

• ALDEA-DAO/wiki

  1201

• FaizanShaikh-3033/Aiken

  Language:TypeScript1100

• GameChangerFinance/unimatrix

  Unimatrix Sync is a decentralized, privacy preserving, transaction witness sharing and pairing solution for multisignatures or deferred signatures. It was originally created for GameChanger Wallet to improve it's multisignature user experience and boost multisig dapps and services around it.

  Language:TypeScript1101

• jmagan/cra-simple-mesh

  Language:JavaScript1100

• latamcardano/CIP1694Workshops

  1100

• mightstar/banana-staking-next

  Banana Staking Next Project

  Language:TypeScript1100