Skip to content
View MaicoLeberle's full-sized avatar

Block or report MaicoLeberle

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. LiquidityPools LiquidityPools Public

    A unified system for handling bank accounts, featuring centralized liquidity pools

    Haskell

  2. AbstractMachines AbstractMachines Public

    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.

    Haskell

  3. VSFS VSFS Public

    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.

    Haskell

  4. QuotesBot QuotesBot Public

    Configurable Telegram bot that schedules random motivational quotes. Implemented with the python-telegram-bot API library.

    Python

  5. dolos dolos Public

    Forked from txpipe/dolos

    Cardano Data Node

    Rust

  6. pallas pallas Public

    Forked from txpipe/pallas

    Rust-native building blocks for the Cardano blockchain ecosystem

    Rust