szg251
Haskell & Plutus engineer and consultant. Functional programming enthusiast. Ex-musician.
@mlabs-haskellHungary
Pinned Repositories
bot-plutus-interface
Unofficial PAB implementation
lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
plutus-ledger-api-rust
Plutus Ledger types and utilities implemented in Rust
tx-village
Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts
cardano-dev-shell
Dev environment with Cardano testnet and some tools
chess
Chess game written in Elm
elm-examples
A few simple Elm applications
elm-validator-pipeline
Validate values and apply them to a user defined type.
simplechat
Simple chat application
space_invaders
Space Invaders game in Elm
szg251's Repositories
szg251/space_invaders
Space Invaders game in Elm
szg251/elm-validator-pipeline
Validate values and apply them to a user defined type.
szg251/cardano-dev-shell
Dev environment with Cardano testnet and some tools
szg251/chess
Chess game written in Elm
szg251/composable-validators
Composable Validators library
szg251/fit
FIT file decoder
szg251/plutus-crowdfunding
Simple crowdfunding smart contract
szg251/szabo-gergely-portfolio
Portfolio website
szg251/Alonzo-testnet
repository for the Alonzo testnet
szg251/attoparsec-uri
A compositional URI parser / printer for attoparsec
szg251/cardano-devnet-flake
Cardano devnet flake
szg251/cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
szg251/cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
szg251/CIPs
szg251/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
szg251/hercules-ci-effects
Expressions to change the world (just a tiny bit)
szg251/hoauth2
Haskell oauth2 binding
szg251/home-manager
Manage a user environment using Nix [maintainer=@rycee]
szg251/home-manager-config
Home Manager configuration files
szg251/majority-multisign
szg251/mychain
Overly simplified model of a PoW blockchain
szg251/nami-wallet
Nami Wallet is a browser based wallet extension to interact with the Cardano blockchain.
szg251/nix-darwin
nix modules for darwin
szg251/oura
The tail of Cardano
szg251/plutonomy
An optimizer for untyped plutus core
szg251/plutus
The Plutus language implementation and tools
szg251/plutus-apps
The Plutus application platform
szg251/plutus-extra
Helper libraries for Plutus.
szg251/secp256k1-node
Node.js binding for an Optimized C library for EC operations on curve secp256k1
szg251/try-substrate