paluh's starred repositories
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
agda-stdlib
The Agda standard library
cardano-swaps
A distributed order-book DEX using composable atomic swaps with full delegation control and endogenous liquidity.
hakyll-nix-template
Hakyll + Nix starter template
awesome-aiken
A collection of Aiken libraries, dapps, and resources
programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
purescript-for-elm-developers
PureScript crash course targeted at Elm developers
mkSpagoDerivation
Reproducible PureScript projects with Nix
react-loading-overlay-ts
Loading overlays with fade, spinner, message support + support typescript + ES Module + ref forwarding.
editor-integration-nvim
A plugin for working with Aiken on Vim / NeoVim.
cardano-peer-connect
This library aims to provide simple interfaces to implement CIP-0045 for dApps and wallets
purescript-gnome-shell
PureScript bindings for writting gnome-shell extension
awesome-marlowe
A collection of Marlowe resources, tutorials and examples
cardano-purescript
Overview of PureScript libraries/tools for Cardano
marlowe-plutus
Plutus validators for the Marlowe financial contract DSL
purescript-cardano-types
Domain types for Cardano
purescript-web-resize-observer
Type definitions and low level interface implementations for the W3C Resize Observer specification.
purescript-react-r3f
A purescript @react-three/fiber binding
purescript-node-crypto
Bindings to node:crypto module
marlowe-indexer
Cardano Marlowe on-chain contract indexer with graphlql interface
cardano-lab
Cardano swiss army knife