MLabs
mlabs-haskell
Haskell, Rust, FinTech and AI Consultancy
Languages
Loading contributions...
Top Repositories
LambdaBuffers toolkit for sharing types and their semantics between different languages
Nix ❤️ Cardano
Propositional Logic Apropos Types
A browser-based Cardano wallet for developers & testers
Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.
Repositories
245Cardano Racers on-chain and off-chain code
Code generator for UPLC from Covenant IR
No description provided.
IR for Cardano scripts
No description provided.
No description provided.
Nix tools powering polyglot repositories
Nix ❤️ Cardano
Plutus Ledger types and utilities implemented in Rust
No description provided.
Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.
No description provided.
No description provided.
No description provided.
No description provided.
Cardano devnet flake
Haskell Plutus testing utilities
Integrated light wallet and off-chain SDK for the Godot engine and Cardano blockchain
Propositional Logic Apropos Types
Metadata for Cardano's Haskell package repository
No description provided.
No description provided.
Purescript wrapper for mlabs-haskell/cardano-data-lite
A browser-based Cardano wallet for developers & testers
No description provided.
Expressions to change the world (just a tiny bit)
Lightweight implementation of Cardano domain type serialization, compatible with cardano-serialization-lib
Select coins, build transactions
Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts
LambdaBuffers toolkit for sharing types and their semantics between different languages