Stars
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
LambdaBuffers toolkit for sharing types and their semantics between different languages
The Vegan Cheat Sheet is a collection of vegan resources, studies, links, and much more, all tightly wrapped into one link. Find videos, studies, music, communities, tools, nutrition information, b…
Groundwork for embedding SnarkyJS into PureScript
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Application backend for Plutus smart contracts on Cardano
An interface to Google Protocol Buffers (protobuf)
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
The Mercury logic programming system.
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
A pack for SWI-Prolog web framework to handle usernames, login, signup, and other user management
DEPRECATED. Use input-output-hk/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Plutus Use Cases
CQL: Categorical Query Language implementation in Haskell
Picatrix is a library designed to help security analysts in a notebook environment, such as colab or jupyter.