euonymos

euonymos's Stars

• zkFold/zkfold-cardano

  zkFold: Cardano integration library

  Language:Haskell7

• edsko/musictheory

  Language:Haskell2

• Anastasia-Labs/aiken-design-patterns

  A collection of tried and tested modules and functions for implementing common design patterns in Aiken

  Language:Shell289

• input-output-hk/memory-pool

  Lock-free threadsafe pinned memory pool manager

  Language:Haskell2

• sayo-hs/heftia

  higher-order algebraic effects done right for Haskell

  Language:Haskell783

• nau/scalus

  Scalus - DApps Development Platform for Cardano

  Language:Scala585

• mlabs-haskell/cardanow

  Language:Nix3

• Anastasia-Labs/design-patterns

  Language:Haskell398

• iden3/circom

  zkSnark circuit compiler

  Language:WebAssembly1.4k280

• mlabs-haskell/purescript-plutus-types

  Some Cardano Plutus domain types ported to PureScript

  Language:PureScript1

• mlabs-haskell/purescript-cardano-types

  Domain types for Cardano

  Language:PureScript72

• Unbox-infinity/tx-village

  Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts

  Language:Rust42

• klntsky/belief.garden

  A mini social network centered around personal beliefs

  Language:JavaScript5

• mlabs-haskell/cardano.nix

  Nix ❤️ Cardano

  Language:Nix168

• mlabs-haskell/purescript-hydra-sdk

  Language:PureScript41

• LeastAuthority/moonmath-manual

  A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

  Language:TeX53390

• CardanoSolutions/cardanonical

  Canonical JSON schemas for Cardano objects, with reference encoders/decoders.

  91

• mstksg/typelits-printf

  Type-safe printf from parsing GHC TypeLits Symbol

  Language:Haskell242

• mlabs-haskell/purescript-cip95

  Low-level PureScript interface for CIP-95

  Language:PureScript2

• cardano-scaling/wg-hydra

  Home of the Hydra working group

  5

• mlabs-haskell/purescript-cardano-serialization-lib

  Pursecript library for cardano frontend types for emurgo/cardano-serialisation-lib

  Language:PureScript44

• Anastasia-Labs/aiken-linked-list

  Language:Makefile2

• gytis-ivaskevicius/high-quality-nix-content

  GitHub repository containing highest quality Nix/NixOS content

  Language:Nix31122

• mlabs-haskell/cardano-purescript

  Overview of PureScript libraries/tools for Cardano

  7

• polygon/nix-buildproxy

  Providing reproducible HTTP/HTTPS responders to builds that just can not live without

  Language:Nix104

• cardano-scaling/website

  Monthly reports and dev blog of the Cardano Scaling group

  Language:TypeScript43

• zmrocze/agda-devshell

  Nix dev shell with agda and als.

  Language:Agda2

• Plutonomicon/cardano-transaction-lib

  A Purescript library for building smart contract transactions on Cardano

  Language:PureScript9352

• thomashoneyman/purescript-overlay

  PureScript core tools in Nix

  Language:PureScript4412

• tmux-plugins/list

  A list of tmux plugins.

  1.3k67