Szabo Gergely's repositories
space_invaders
Space Invaders game in Elm
elm-validator-pipeline
Validate values and apply them to a user defined type.
cardano-dev-shell
Dev environment with Cardano testnet and some tools
composable-validators
Composable Validators library
elm-react-redux
Elm wrapper for React-Redux
plutus-crowdfunding
Simple crowdfunding smart contract
szabo-gergely-portfolio
Portfolio website
Alonzo-testnet
repository for the Alonzo testnet
attoparsec-uri
A compositional URI parser / printer for attoparsec
cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
hoauth2
Haskell oauth2 binding
home-manager
Manage a user environment using Nix [maintainer=@rycee]
home-manager-config
Home Manager configuration files
nami-wallet
Nami Wallet is a browser based wallet extension to interact with the Cardano blockchain.
nix-darwin
nix modules for darwin
plutonomy
An optimizer for untyped plutus core
plutus
The Plutus language implementation and tools
plutus-apps
The Plutus application platform
plutus-extra
Helper libraries for Plutus.
secp256k1-node
Node.js binding for an Optimized C library for EC operations on curve secp256k1
servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!