All Git Users → ayberkt

3 open source projects by ayberkt

[ Open user page on Github ]

A tiny implementation of dependent types.

✭ 11

2. grammar-inference

Learning rigid grammars in Haskell.

✭ 24

3. formal-topology-in-UF

Formal Topology in Univalent Foundations (WIP).

✭ 27

CSS shell Makefile topology homotopy-type-theory univalent-foundations univalent-mathematics formal-topologies locale-theory pointless-topology constructive-topology

1-3 of 3 user projects