Pinned 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.
acid-state
Add ACID guarantees to any serializable Haskell data structure
acid-world
Flexible persistence for Haskell data types primarily based on event logging and checkpoints
acme-circular-containers
Spineless containers which are fast to read but inefficient to update
adicity
A DSL in which composition and application are unified.
ally-invest
Ally Invest integration library
angular-material-course
Angular Material Course
apecs
a fast, type driven, extensible ECS for game development
app-mycollab
Procet Management Software
mariszo's Repositories
mariszo/aada-tokens-swap
Aada Token swap smart contract used to swap AADA v1 to AADA v2
mariszo/Acala
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
mariszo/bhoogle
Hoogle terminal UI brick example app
mariszo/cardano-browser-tx
mariszo/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.
mariszo/cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
mariszo/chainweaver
Kadena Chainweaver desktop wallet and web-based playground for Pact
mariszo/clash-compucolor2
Clash implementation of the Compucolor II home computer
mariszo/debugger-hs
Write your GDB scripts in Haskell!
mariszo/ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
mariszo/Haskell-Turtle-Library
Shell programming, Haskell style
mariszo/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
mariszo/helix
A post-modern modal text editor.
mariszo/hid-examples
Examples to accompany the book "Haskell in Depth"
mariszo/hledger
easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger
mariszo/hs-tls
TLS/SSL implementation in haskell
mariszo/irc-core
Haskell IRC library and console client - Join us on libera.chat #glirc
mariszo/near-indexer-for-explorer
mariszo/nushell
A new type of shell
mariszo/pact
The Pact Smart Contract Language
mariszo/plutus
The Plutus language implementation and tools
mariszo/plutus-apps
The Plutus application platform
mariszo/plutus-extra
Helper libraries for Plutus.
mariszo/plutus-pioneer-program
mariszo/plutus-starter
A starter project for Plutus apps
mariszo/reach-lang
Reach: The Safest and Easiest DApp Programming Language
mariszo/shellcheck
ShellCheck, a static analysis tool for shell scripts
mariszo/sqlcipher
SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
mariszo/tldr
📚 Collaborative cheatsheets for console commands
mariszo/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager