Stars
Language
Sort by: Recently starred
Formal specifications of the cardano ledger
❇️ A WebSocket JSON/RPC bridge for Cardano
A Python client for interacting with Minswap DEX on Cardano
Customizable Typescript SDK for interacting with Cardano DEXs
Formalization of Mathematics using Type Theory of Agda Programming Language
The Plutus language implementation and tools
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 nat…
Berry free react material-ui admin template for easing and faster web development.
A curated list of Knowledge Graph related learning materials, databases, tools and other resources
Agda is a dependently typed programming language / interactive theorem prover.
Benchmarking various normalization algorithms for the lambda calculus
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.