Popular repositories Loading

1. quantitative-poly quantitative-poly Public

   Basic constructions on quantitative containers and quantitative polynomial functors.

   Idris 1

2. quantifier-rnn-learning quantifier-rnn-learning Public

   Forked from shanest/quantifier-rnn-learning

   Project training recurrent neural networks to learn to verify sentences with quantifiers with the goal of explaining semantic universals

   Python

3. relational-qcwf relational-qcwf Public

   TeX

4. mgen mgen Public

   Haskell

5. CS316-2022 CS316-2022 Public

   Forked from bobatkey/CS316-2022

   Materials for the 2022-2023 edition of CS316 "Functional Programming"

   Haskell