AgustinBadi

aiken-merkle-tree

Playing around with merkle trees.

awesome-aiken

A collection of Aiken libraries, dapps, and resources

bitcoinbook

Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

BrainfuckInterpreter

A Haskell intepreter for the brainfuck language.

cardano-cli-gui

Simple GUI for the cardano-cli tool.

Quest

Doing one quest at a day.

ak-381

Aiken implementation of Groth16 validator using bls12-381 curve.

Cardano-Semaphore

Semaphore port to the Cardano blockchain

plutus-groth

Plutus Groth validator library

zk-mastermind-aiken

Mastermind game implemented in Aiken

AgustinBadi/aiken-merkle-tree

Playing around with merkle trees.

AgustinBadi/awesome-aiken

A collection of Aiken libraries, dapps, and resources

AgustinBadi/bitcoinbook

Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

AgustinBadi/BrainfuckInterpreter

A Haskell intepreter for the brainfuck language.

AgustinBadi/cardano-cli-gui

Simple GUI for the cardano-cli tool.

AgustinBadi/cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

AgustinBadi/coincashew

AgustinBadi/euclid-contract

Euclid Extended Algorithm Plutus Smart Contract

AgustinBadi/Guess-Game-Smart-Contract

A Plutus smart contract to make secrets and a reward to the few who can successfully reveal the answer.

AgustinBadi/haskell-course

This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! 😃

AgustinBadi/Haskell-from-scratch

Repositorio educativo: Implementar desde 0 funciones básicas de Haskell

AgustinBadi/plutonomicon

Advanced techniques in the plutus smart contract language

AgustinBadi/plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

AgustinBadi/Quest

Doing one quest at a day.

AgustinBadi/RPLCD

A Raspberry Pi LCD library for the widely used Hitachi HD44780 controller, written in Python. GPIO (parallel) and I²C modes supported.

AgustinBadi/ternary-algebra

Using Haskell to begin attempting to create a new Boolean-like class called Ternary.

AgustinBadi/darkfi

Anonymous. Uncensored. Sovereign.

AgustinBadi/kuber

Haskell library and json-api for composing Cardano transactions and working with off-chain cardano blockchain.

AgustinBadi/plutus-simple-model

Unit testing with resource estimation for Plutus

AgustinBadi/tx_simulation

Simulates a cardano transaction with aiken tx simulate and Koios.

AgustinBadi/wiki

Documentación ALDEA Wiki