此存储库用于练习 Certainty by Construction - Software and Mathematics in Agda (Sandy Maguire)

HoTTEST Summer School materials

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

CPS transformer for ML language

The Agda standard library

Formalization of Mathematics using Type Theory of Agda Programming Language

Python implementation of untyped plutus language core

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

An experimental library for Cubical Agda

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.

Programming Language Theory λΠ

Minimal implementation of Pie language