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•9•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•4•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
      •268•0•0•0•Updated Oct 17, 2014Oct 17, 2014

    • agda

      Public
      Agda is a dependently typed programming language / interactive theorem prover.
      Haskell
      •
      Other
      •17•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.