Alternatives and similar repositories for plutarch-core

Users that are interested in plutarch-core are comparing it to the libraries listed below

• ners / dosh

  View on GitHub
  📺 The power of Haskell in your terminal!
  ☆43Oct 26, 2025Updated 3 months ago
• mlabs-haskell / apropos-tx

  View on GitHub
  Better testing for Plutus
  ☆11Nov 15, 2022Updated 3 years ago
• mattia-furlan / MasterThesisCTT

  View on GitHub
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Nov 19, 2022Updated 3 years ago
• mlabs-haskell / apropos

  View on GitHub
  Propositional Logic Apropos Types
  ☆15Feb 21, 2023Updated 2 years ago
• Liqwid-Labs / liqwid-libs

  View on GitHub
  A monorepo for Liqwid Labs plutarch libraries.
  ☆15Aug 23, 2024Updated last year
• well-typed / plutonomy

  View on GitHub
  An optimizer for untyped plutus core
  ☆42Jan 19, 2023Updated 3 years ago
• BeFunctional / haskell-rust-ffi

  View on GitHub
  ☆16Mar 29, 2023Updated 2 years ago
• mlabs-haskell / ply

  View on GitHub
  A helper library for working with compiled, parameterized Plutus Scripts
  ☆19Feb 3, 2026Updated last week
• Liqwid-Labs / agora

  View on GitHub
  Governance modules for Cardano protocols
  ☆53Aug 26, 2024Updated last year
• HarmonicLabs / gerolamo-old

  View on GitHub
  Typescript implementation of the Cardano node
  ☆19Sep 11, 2025Updated 5 months ago
• butaneprotocol / oracles

  View on GitHub
  ☆15Jan 28, 2026Updated 2 weeks ago
• Plutonomicon / plutarch-plutus

  View on GitHub
  Typed eDSL for writing UPLC /ˈpluː.tɑːk/
  ☆133Updated this week
• mlabs-haskell / bot-plutus-interface

  View on GitHub
  Unofficial PAB implementation
  ☆21May 5, 2023Updated 2 years ago
• blinklabs-io / cardano-up

  View on GitHub
  Command line utility for managing Cardano services
  ☆24Updated this week
• Plutonomicon / cardano-transaction-lib

  View on GitHub
  A Purescript library for building smart contract transactions on Cardano
  ☆93Dec 11, 2025Updated 2 months ago
• aiken-lang / merkle-patricia-forestry

  View on GitHub
  🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.
  ☆43Dec 4, 2025Updated 2 months ago
• mstksg / typelits-witnesses

  View on GitHub
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆16Jul 25, 2024Updated last year
• zkFold / symbolic

  View on GitHub
  Symbolic framework
  ☆23Updated this week
• phadej / cabal-sat

  View on GitHub
  Using cabal-install as SAT solver
  ☆13Aug 29, 2023Updated 2 years ago
• BeFunctional / haskell-foreign-rust

  View on GitHub
  ☆15Mar 29, 2023Updated 2 years ago
• runtimeverification / plutus-core-semantics

  View on GitHub
  ☆27Jun 26, 2024Updated last year
• cdepillabout / cabal2nixWithoutIFD

  View on GitHub
  ☆32Dec 24, 2021Updated 4 years ago
• txpipe / asteria

  View on GitHub
  A Cardano bot challenge to showcase the capabilities of the eUTxO model.
  ☆26Dec 11, 2025Updated 2 months ago
• mpickering / simple-language-client

  View on GitHub
  A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface
  ☆26Mar 20, 2020Updated 5 years ago
• kanwren / nix-parsec

  View on GitHub
  ☆57Nov 19, 2022Updated 3 years ago
• jfaure / Irie-lang

  View on GitHub
  Subtyping calculus of inductive constructions
  ☆57Dec 13, 2023Updated 2 years ago
• Liqwid-Labs / plutus-extra

  View on GitHub
  Helper libraries for Plutus.
  ☆49Aug 10, 2022Updated 3 years ago
• deepfire / holotype

  View on GitHub
  An attempt to reimagine knowledge interaction.
  ☆18Sep 27, 2020Updated 5 years ago
• thautwarm / cross-editor-syntax-highlighter

  View on GitHub
  cross-editor syntax highlighter for Lua, showing some merit of Typed BNF: https://github.com/thautwarm/typed-bnf
  ☆13Jan 19, 2022Updated 4 years ago
• mlabs-haskell / cardano.nix

  View on GitHub
  Nix ❤️ Cardano
  ☆19Updated this week
• neurallambda / automata

  View on GitHub
  generate synthetic data for training finite state machines/pushdown automata/turing machines
  ☆17Apr 26, 2024Updated last year
• madman-bob / idris2-table

  View on GitHub
  A table library for Idris 2
  ☆15Oct 25, 2022Updated 3 years ago
• stevana / pipelined-state-machines

  View on GitHub
  An experiment in declaratively programming parallel pipelines of state machines.
  ☆18Mar 20, 2023Updated 2 years ago
• mlabs-haskell / plutip

  View on GitHub
  A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reas…
  ☆55Nov 24, 2024Updated last year
• JakobBruenker / monadic-bang

  View on GitHub
  GHC plugin to desugar ! into do-notation
  ☆38Feb 4, 2026Updated last week
• mlabs-haskell / plutus-simple-model

  View on GitHub
  Unit testing with resource estimation for Plutus
  ☆31Jan 8, 2025Updated last year
• dannypsnl / racket-llvm

  View on GitHub
  racket llvm C-API bindings
  ☆17Feb 7, 2026Updated last week
• yvan-sraka / hs-bindgen

  View on GitHub
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆70Feb 8, 2026Updated last week
• stevana / quickcheck-state-machine

  View on GitHub
  Test monadic programs using state machine based models
  ☆19Jul 17, 2025Updated 6 months ago