A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

Open source software that helps you create and deploy high-frequency crypto trading bots

AKShare is an elegant and simple financial data interface library for Python, built for human beings! 开源财经数据接口库

Formalization of the James construction in Agda

comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories

An experimental proof assistant based on a type theory for synthetic ∞-categories.

high-performance cubical evaluation

Effective Algebraic Topology in Haskell

😎TT

A challenge for proof assistants about a particular context-free language.

Neon lights in the night tonight and stars that shine in the open sky

Haskell library of algebraic topology

Experimental implementation of Cubical Type Theory

Normalization by evaluation of simply typed combinators.

An attempt towards univalent classical mathematics in Cubical Agda.

An embedding of ZFC into Agda

A proof assistant and a dependently-typed language

The agda-unimath library

🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟

An experimental library for Cubical Agda

An experimental library for Cubical Agda