Mariszo's repositories
aada-tokens-swap
Aada Token swap smart contract used to swap AADA v1 to AADA v2
Acala
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
bhoogle
Hoogle terminal UI brick example app
cardano-private-testnet-setup
Setup guide to create private Cardano testnet and run sample transactions including a Plutus contract example. This environment can be used for local development and learning.
cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
chainweaver
Kadena Chainweaver desktop wallet and web-based playground for Pact
clash-compucolor2
Clash implementation of the Compucolor II home computer
debugger-hs
Write your GDB scripts in Haskell!
ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
Haskell-Turtle-Library
Shell programming, Haskell style
Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
helix
A post-modern modal text editor.
hid-examples
Examples to accompany the book "Haskell in Depth"
hledger
easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger
hs-tls
TLS/SSL implementation in haskell
irc-core
Haskell IRC library and console client - Join us on libera.chat #glirc
nushell
A new type of shell
pact
The Pact Smart Contract Language
plutus
The Plutus language implementation and tools
plutus-apps
The Plutus application platform
plutus-extra
Helper libraries for Plutus.
plutus-starter
A starter project for Plutus apps
reach-lang
Reach: The Safest and Easiest DApp Programming Language
shellcheck
ShellCheck, a static analysis tool for shell scripts
sqlcipher
SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
tldr
📚 Collaborative cheatsheets for console commands
xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager