LambdaBuffers toolkit for sharing types and their semantics between different languages
☆33Oct 26, 2026Updated this week
Alternatives and similar repositories for lambda-buffers
Users that are interested in lambda-buffers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Overview of PureScript libraries/tools for Cardano☆11Jul 25, 2024Updated 2 years ago
- Minimal reproducible nix flake templates☆17May 18, 2026Updated 5 months ago
- A helper library for working with Plutus blueprints (Aiken or Plutarch)☆19Mar 23, 2026Updated 7 months ago
- Application backend for Plutus smart contracts on Cardano☆74Oct 23, 2026Updated last week
- Nix tools for building Liqwid projects☆15Jan 15, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Formal specifications of the Cardano ledger☆52Updated this week
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆46Oct 18, 2026Updated last week
- A Purescript library for building smart contract transactions on Cardano☆92Oct 15, 2026Updated 2 weeks ago
- ☆18Mar 1, 2025Updated last year
- 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
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- ☆25Updated this week
- ☆18Sep 12, 2026Updated last month
- A library for writing Fuzzers for property-based testing in Aiken☆11Sep 26, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A virtual memory scanner☆10Jan 2, 2024Updated 2 years ago
- Plutus Use Cases☆13Dec 8, 2022Updated 3 years ago
- Off-chain code to interact with Genius Yield DEX contracts☆18Jan 12, 2026Updated 9 months ago
- A browser-based Cardano wallet for developers & testers☆13Jun 2, 2025Updated last year
- Select coins, build transactions☆20Jun 9, 2026Updated 4 months ago
- Propositional Logic Apropos Types☆15Feb 21, 2023Updated 3 years ago
- Get terminal window width and height☆14Aug 14, 2024Updated 2 years ago
- COOP - Cardano open oracle protocol☆21Mar 20, 2024Updated 2 years ago
- Port of purescript-halogen to Haskell☆48Oct 22, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Double-ended queues☆14Apr 4, 2026Updated 6 months ago
- Monoidal map type with support for semigroup and monoid subclasses.☆22Updated this week
- The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development she…☆52Oct 18, 2026Updated last week
- Hypercard-like game engine☆14Feb 7, 2024Updated 2 years ago
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆134Oct 22, 2026Updated last week
- Nix ❤️ Cardano☆20Aug 2, 2026Updated 2 months ago
- Unit testing with resource estimation for Plutus☆30Jan 8, 2025Updated last year
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆85Aug 28, 2026Updated 2 months ago
- account based model simplified and aerodynamic like a bullet☆24Mar 25, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Jul 22, 2025Updated last year
- hgg — Haskell Grammar of Graphics (declarative plotting).☆21Aug 13, 2026Updated 2 months ago
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆29Oct 27, 2023Updated 3 years ago
- A library for stateful property-based testing☆36May 4, 2026Updated 5 months ago
- Higher order functional programming in PureScript's type system☆45Nov 9, 2021Updated 4 years ago
- Compositional Representable Executable Machines☆127Jul 9, 2026Updated 3 months ago
- A monorepo for Liqwid Labs plutarch libraries.☆15Aug 23, 2024Updated 2 years ago