Popular repositories

1. joa-haskell joa-haskell Public

   Examples from "The Joy of Abstraction" by Eugenia Cheng implemented in haskell

   Haskell 1

2. ubb ubb Public

   Course materials for University Beyond Bars.

   PostScript 1

3. ctfp-examples ctfp-examples Public

   Examples from Category Theory for Programmers

   Haskell

4. assertj assertj Public

   Forked from assertj/assertj

   AssertJ is a library providing easy to use rich typed assertions

   Java

5. aesara aesara Public

   Forked from aesara-devs/aesara

   Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

   Python

6. pytensor pytensor Public

   Forked from pymc-devs/pytensor

   PyTensor is a fork of Aesara -- a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

   Python