Popular repositories Loading

1. isabelle_cheatsheet isabelle_cheatsheet Public

   A cheat sheet for Isabelle/ Isar/ HOL

   Isabelle 1

2. bilm-tf bilm-tf Public

   Forked from allenai/bilm-tf

   Tensorflow implementation of contextualized word representations from bi-directional language models

   Python

3. learn_haskell learn_haskell Public

   Repository to keep all my Haskell related hackings in one place

   Haskell

4. ai_algos ai_algos Public

   Implementation of core some AI algorithms in some languages

   Python

5. qio-haskell qio-haskell Public

   Forked from alexandersgreen/qio-haskell

   The Quantum IO Monad, implemented in Haskell

   Haskell

6. Coq-dL Coq-dL Public

   Forked from LS-Lab/Coq-dL

   A formally verified implementation of differential dynamic logic in Coq

   Coq