paluh's starred repositories

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:3029Issues:196Issues:1871

hakyll

A static website compiler library in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:2651Issues:51Issues:491

crane

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Language:NixLicense:MITStargazers:784Issues:5Issues:216

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:559Issues:32Issues:984

scripts

StakePool Operator Scripts. Learn how to create and manage your StakePool with these simple scripts. Hardware-Ledger/Trezor Support, Token/Asset Sending, Offline-Mode and more...

Language:ShellLicense:MITStargazers:270Issues:33Issues:34

pallas

Rust-native building blocks for the Cardano blockchain ecosystem

Language:RustLicense:Apache-2.0Stargazers:133Issues:14Issues:65

scrolls

Read-optimized cache of Cardano on-chain entities

Language:RustLicense:Apache-2.0Stargazers:86Issues:5Issues:28

cardano-swaps

A distributed order-book DEX using composable atomic swaps with full delegation control and endogenous liquidity.

Language:HaskellLicense:Apache-2.0Stargazers:65Issues:6Issues:4

purescm

Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).

Language:PureScriptLicense:Apache-2.0Stargazers:62Issues:8Issues:65

dolos

Cardano Data Node

Language:RustLicense:Apache-2.0Stargazers:62Issues:5Issues:21

hakyll-nix-template

Hakyll + Nix starter template

Language:HaskellLicense:BSD-3-ClauseStargazers:51Issues:5Issues:9

purifix

The PureScript Package Manager in Nix

Language:NixLicense:BSD-3-ClauseStargazers:50Issues:3Issues:27

awesome-aiken

A collection of Aiken libraries, dapps, and resources

License:CC0-1.0Stargazers:44Issues:4Issues:0

programming-language-research

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

License:MITStargazers:32Issues:2Issues:0

purescript-for-elm-developers

PureScript crash course targeted at Elm developers

Language:PureScriptLicense:MITStargazers:31Issues:3Issues:0

mkSpagoDerivation

Reproducible PureScript projects with Nix

Language:NixLicense:MITStargazers:14Issues:1Issues:2

react-loading-overlay-ts

Loading overlays with fade, spinner, message support + support typescript + ES Module + ref forwarding.

Language:TypeScriptLicense:MITStargazers:13Issues:3Issues:3

editor-integration-nvim

A plugin for working with Aiken on Vim / NeoVim.

Language:Vim ScriptLicense:MPL-2.0Stargazers:12Issues:4Issues:1

cardano-peer-connect

This library aims to provide simple interfaces to implement CIP-0045 for dApps and wallets

Language:TypeScriptLicense:Apache-2.0Stargazers:10Issues:5Issues:21
Language:CLicense:MITStargazers:9Issues:0Issues:9

purescript-gnome-shell

PureScript bindings for writting gnome-shell extension

Language:PureScriptLicense:Apache-2.0Stargazers:8Issues:1Issues:0

awesome-marlowe

A collection of Marlowe resources, tutorials and examples

Language:Jupyter NotebookLicense:CC0-1.0Stargazers:7Issues:12Issues:0

cardano-purescript

Overview of PureScript libraries/tools for Cardano

marlowe-plutus

Plutus validators for the Marlowe financial contract DSL

Language:HaskellLicense:Apache-2.0Stargazers:5Issues:14Issues:1

purescript-cardano-types

Domain types for Cardano

Language:PureScriptStargazers:5Issues:6Issues:2

purescript-web-resize-observer

Type definitions and low level interface implementations for the W3C Resize Observer specification.

Language:PureScriptLicense:MITStargazers:4Issues:3Issues:2

purescript-react-r3f

A purescript @react-three/fiber binding

Language:PureScriptLicense:Apache-2.0Stargazers:3Issues:2Issues:0

purescript-node-crypto

Bindings to node:crypto module

Language:PureScriptStargazers:3Issues:0Issues:0

marlowe-indexer

Cardano Marlowe on-chain contract indexer with graphlql interface

Language:RustLicense:MITStargazers:2Issues:2Issues:0

cardano-lab

Cardano swiss army knife

Language:HaskellStargazers:1Issues:0Issues:0