Pinned Loading

1. Category_Theory_Machine_Learning Category_Theory_Machine_Learning Public

   Forked from bgavran/Category_Theory_Machine_Learning

   List of papers studying machine learning through the lens of category theory

   Python

2. typedb typedb Public

   Forked from typedb/typedb

   TypeDB: the power of programming, in your database

   Rust

3. Category_Theory_Resources Category_Theory_Resources Public

   Forked from bgavran/Category_Theory_Resources

   List of resources for learning Category Theory

4. HoTTLean HoTTLean Public

   Forked from sinhp/HoTTLean

   Lean

5. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

6. OpenNARS-for-Applications OpenNARS-for-Applications Public

   Forked from opennars/OpenNARS-for-Applications

   General reasoning component for applications based on NARS theory.

   C