lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages (by mlabs-haskell)

Lambda-buffers Alternatives

Similar projects and alternatives to lambda-buffers

  1. plutarch-quickcheck

    Discontinued Pain-free QuickCheck helpers for Plutarch

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  3. atlas

    Application backend for Plutus smart contracts on Cardano (by geniusyield)

  4. nix-templates

    Minimal reproducible nix flake templates (by klarkc)

  5. dovetail

    A PureScript interpreter in Haskell

  6. cardano-dex-contracts

    Smart contracts and specification of the AMM protocol on top of the Cardano blockchain

  7. purenix

    Nix backend for PureScript. Transpile PureScript code to Nix.

  8. plutus-pioneer-program

    This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

  9. hydra

    Implementation of the Hydra Head protocol (by cardano-scaling)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better lambda-buffers alternative or higher similarity.

lambda-buffers discussion

Log in or Post with

lambda-buffers reviews and mentions

Posts with mentions or reviews of lambda-buffers. We have used some of these posts to build our list of alternatives and similar projects.

Stats

Basic lambda-buffers repo stats
2
32
8.6
20 days ago

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you know that Haskell is
the 30th most popular programming language
based on number of references?