Skip to content

@crypto-agda crypto-agda

Change the repository type filter

All

    Repositories list

    10 repositories

    • agda-nplib

      Public
      Proposed extensions to Agda standard's library
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •3•8•1•0•Updated Dec 27, 2016Dec 27, 2016

    • crypto-agda

      Public
      Cryptographic Constructions in the Type Theory of Agda
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •6•52•0•0•Updated Aug 8, 2015Aug 8, 2015

    • explore

      Public
      Big operators as exploration functions in Agda
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•3•0•Updated Jul 8, 2015Jul 8, 2015

    • protocols

      Public
      Shallow embedding of Protocols using Agda dependent types
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•0•0•Updated Jul 8, 2015Jul 8, 2015

    • agda-libjs

      Public
      Core bindings to run Agda code using NodeJS
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•1•Updated Jul 7, 2015Jul 7, 2015

    • agda-bitcoinjs

      Public
      Agda binding to bitcoinjs
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 16, 2014Dec 16, 2014

    • agda-stdlib

      Public
      The Agda standard library
      Agda
      •
      Other
      •242•0•0•0•Updated Oct 17, 2014Oct 17, 2014

    • agda

      Public
      Agda is a dependently typed programming language / interactive theorem prover.
      Haskell
      •
      Other
      •19•0•0•0•Updated Jun 16, 2014Jun 16, 2014

    • crypto-agda.github.io

      Public
      0•0•0•0•Updated Nov 13, 2013Nov 13, 2013

    • agda-tactics

      Public
      Reflective proof tactics and metaprogramming for Agda.
      2•1•0•0•Updated Apr 16, 2012Apr 16, 2012