This is stars and forks stats for /anoma/geb repository. As of 28 Mar, 2024 this repository has 22 stars and 8 forks.
The GEB Manual Table of Contents 1 Links 1.1 code coverage 2 Getting Started 2.1 installation 2.2 loading 2.3 Geb as a binary 3 Glossary 4 Original Efforts 4.1 Geb's Idris Code 4.2 Geb's Agda Code 5 Categorical Model 5.1 Morphisms 5.2 Objects 5.3 The Yoneda Lemma 5.4 Poly in Sets 6 Project Idioms and Conventions 6.1 Spec Files, Main Files and Project Layout 6.2 Open Types versus Closed Types 6.3 ≺Types≻ 7 The Geb Model 7.1 The Categorical Interface 7.2 Geneircs 7.3 Core Category 7.3.1 Subst Obj 7.3.2...
The GEB Manual Table of Contents 1 Links 1.1 code coverage 2 Getting Started 2.1 installation 2.2 loading 2.3 Geb as a binary 3 Glossary 4 Original Efforts 4.1 Geb's Idris Code 4.2 Geb's Agda Code 5 Categorical Model 5.1 Morphisms 5.2 Objects 5.3 The Yoneda Lemma 5.4 Poly in Sets 6 Project Idioms and Conventions 6.1 Spec Files, Main Files and Project Layout 6.2 Open Types versus Closed Types 6.3 ≺Types≻ 7 The Geb Model 7.1 The Categorical Interface 7.2 Geneircs 7.3 Core Category 7.3.1 Subst Obj 7.3.2...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Nyoho/chitanda.el | Emacs Lisp | 1 | 0 | 2 | 0 |
magit/closql | Emacs LispMakefile | 33 | 0 | 4 | 0 |
deepin-community/cl-babel | Common LispShell | 0 | 0 | 0 | 0 |
deepin-community/cl-regex | Common LispC | 0 | 0 | 0 | 0 |
deepin-community/cl-alexandria | Common Lisp | 0 | 0 | 0 | 0 |
deepin-community/cffi | Common LispCOther | 2 | 0 | 0 | 0 |
deepin-community/clisp | Common LispCD | 0 | 0 | 2 | 0 |
deepin-community/emacs | Emacs LispRoffC | 0 | 0 | 1 | 0 |
deepin-community/devscripts-el | Emacs Lisp | 0 | 0 | 0 | 0 |
deepin-community/auctex | Emacs LispRoffTeX | 0 | 0 | 0 | 0 |