Popular repositories Loading
-
milewski-ctfp-pdf
milewski-ctfp-pdf PublicForked from hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
agda-native-air
agda-native-air PublicAgda 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.
Agda 1
-
-
-
-
Repositories
- agda-wasm-builds Public
Agda and the Agda Language Server compiled to WebAssembly (WASI) from pinned sources, one release per build
- agda-stdlib Public Forked from agda/agda-stdlib
agda-stdlib v2.3 patched to type-check under Agda 2.9.0: tag v2.3-agda-2.9.0 (see Releases for how to pin it)
- 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.
- formalmethods.io Public
Website for prototyping and staging various projects from the formal methods team
- Tensorflow2-course Public
- milewski-ctfp-pdf Public Forked from hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- uc Public
Top languages
Loading…
Most used topics
Loading…