This is stars and forks stats for /UniMath/UniMath repository. As of 29 Apr, 2024 this repository has 865 stars and 163 forks.
Univalent Mathematics This Coq library aims to formalize a substantial body of mathematics using the univalent point of view. Trying out UniMath You can try out UniMath in the browser by clicking here. For instance, you can run the files from the School on Univalent Mathematics in the browser. Using UniMath on your computer To install UniMath on your computer, there are two options: Install a released binary version of UniMath via the Coq Platform. To develop, and contribute to, UniMath, you should...
Univalent Mathematics This Coq library aims to formalize a substantial body of mathematics using the univalent point of view. Trying out UniMath You can try out UniMath in the browser by clicking here. For instance, you can run the files from the School on Univalent Mathematics in the browser. Using UniMath on your computer To install UniMath on your computer, there are two options: Install a released binary version of UniMath via the Coq Platform. To develop, and contribute to, UniMath, you should...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Amovane/aptos-NFT-marketplace | CSSTypeScriptMove | 62 | 0 | 52 | 0 |
Zack-Dx/Mini-TODO | JavaScriptCSSHTML | 36 | 0 | 57 | 0 |
An0nUD4Y/Evilginx2-Phishlets | CSSEJSJavaScript | 310 | +4 | 178 | +2 |
creativetimofficial/argon-dashboard-react-nodejs | CSSJavaScriptSCSS | 27 | 0 | 158 | +4 |
drewlearns/OS_100days | CSSSCSSJavaScript | 29 | 0 | 17 | 0 |
puemos/overbooked | ElixirJavaScriptHTML | 77 | +5 | 4 | 0 |
emacs-lsp/lsp-metals | Emacs LispMakefile | 56 | 0 | 31 | 0 |
apache/incubator-eventmesh | JavaGoANTLR | 1.5k | 0 | 575 | 0 |
travist/jsencrypt | JavaScriptTypeScriptOther | 6.4k | 0 | 2k | 0 |
facebook/ktfmt | KotlinJavaCSS | 716 | 0 | 50 | 0 |