ernius/plutus-cardano-samples ernius/plutus-cardano-samples

  • Stars
    star
    11
  • Rank 1,659,427 (Top 34 %)
  • Language
    Haskell
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ernius/plutus-cardano-samples
github

ernius

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Plutus examples

More Repositories

1

mergesort

Merge sort correctness proof
Agda
10
star
2

formalmetatheory-nominal

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Agda
6
star
3

formalmetatheory-nominal-Church-Rosser

Formalisation of Church Rosser Theorem
Agda
5
star
4

formalmetatheory-stoughton

We develop metatheory of the Lambda calculus in Constructive Type Theory, which is made possible by the use of an appropriate notion of substitution, due to A. Stoughton.
Agda
5
star
5

genericBindingFramework

A generic programming bindig framework based on regular trees
Agda
2
star