Popular repositories Loading

1. milewski-ctfp-pdf milewski-ctfp-pdf Public

   Forked from hmemcpy/milewski-ctfp-pdf

   Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

   TeX 6 2

2. agda-native-air agda-native-air Public

   Agda Native AI Reasoning environment is a research project for building the interaction, retrieval, and evaluation infrastructure that allows modern AI agents to work effectively with Agda.

   Python 1

3. io io Public

   DEPRECATED [website served at formalverification.io]

4. uc uc Public

5. Tensorflow2-course Tensorflow2-course Public

   Jupyter Notebook

6. formalverification.io formalverification.io Public