Pinned Repositories
AbstractMachines
Automatically deriving boilerplate to parse expressions and handle the runtime execution of reduction relation—typically, but not limited to, an evaluation strategy of the lambda calculus.
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
COMPI
Dinic
Implementación del algoritmo de Dinic para encontrar un flujo maximal y un corte minimal en un network (en tiempo polinomial).
dolos
Cardano Data Node
frec
LiquidityPools
A unified system for handling bank accounts. Featuring centralized liquidity pools
pallas
Rust-native building blocks for the Cardano blockchain ecosystem
QuotesBot
Configurable Telegram bot that schedules random motivational quotes. Implemented with the python-telegram-bot API library.
VSFS
VSFS (short for Very Simple File System) is a Haskell, command-line-based implementation of some of the usual functionalities present in file system managers.
MaicoLeberle's Repositories
MaicoLeberle/AbstractMachines
Automatically deriving boilerplate to parse expressions and handle the runtime execution of reduction relation—typically, but not limited to, an evaluation strategy of the lambda calculus.
MaicoLeberle/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
MaicoLeberle/COMPI
MaicoLeberle/Dinic
Implementación del algoritmo de Dinic para encontrar un flujo maximal y un corte minimal en un network (en tiempo polinomial).
MaicoLeberle/dolos
Cardano Data Node
MaicoLeberle/frec
MaicoLeberle/jay
A command line tool for quickly jumping around your filesystem with fuzzyfind and bookmarks for directories
MaicoLeberle/LiquidityPools
A unified system for handling bank accounts. Featuring centralized liquidity pools
MaicoLeberle/pallas
Rust-native building blocks for the Cardano blockchain ecosystem
MaicoLeberle/QuotesBot
Configurable Telegram bot that schedules random motivational quotes. Implemented with the python-telegram-bot API library.
MaicoLeberle/VSFS
VSFS (short for Very Simple File System) is a Haskell, command-line-based implementation of some of the usual functionalities present in file system managers.
MaicoLeberle/zombsole
console zombie survival game
MaicoLeberle/rust-byron-cardano
Rust client libraries to deal with the current cardano mainnet (Byron / cardano-sl)