This is stars and forks stats for /gares/math-comp-school-2022 repository. As of 24 Apr, 2024 this repository has 5 stars and 1 forks.
To build your file with opam make opam # copy the output make lesson1.html To build your file with nix First install nix and cachix once and for all as in https://github.com/coq-community/coq-nix-toolbox#standalone To compile something after cloning the repo nix-shell make lesson1.html To get a shell without cloning the repo: nix-shell https://github.com/gares/math-comp-school-2022/tarball/master To upload your file make upload FILES=lesson1.html To test your file go to https://www-sop.inria.fr/teams/marelle/MC-2022/lesson1.html or...
To build your file with opam make opam # copy the output make lesson1.html To build your file with nix First install nix and cachix once and for all as in https://github.com/coq-community/coq-nix-toolbox#standalone To compile something after cloning the repo nix-shell make lesson1.html To get a shell without cloning the repo: nix-shell https://github.com/gares/math-comp-school-2022/tarball/master To upload your file make upload FILES=lesson1.html To test your file go to https://www-sop.inria.fr/teams/marelle/MC-2022/lesson1.html or...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
hosseinnabi-ir/Responsive-Glass-Sidebar-using-CSS-and-JavaScript | CSSHTMLJavaScript | 66 | 0 | 33 | 0 |
genabdulrehman/shakes-ui | DartC++CMake | 85 | 0 | 33 | 0 |
alibaba/tengine | CPerlRaku | 12.3k | 0 | 2.5k | 0 |
kth-competitive-programming/kactl | C++CTeX | 2.3k | 0 | 638 | 0 |
tecg-dcc/js-tp-aria-tabs | CSSHTMLJavaScript | 0 | 0 | 14 | 0 |
avuenja/tabnews-app | DartC++CMake | 78 | 0 | 4 | 0 |
ReactiveX/rxdart | DartC++CMake | 3.3k | 0 | 287 | 0 |
lvbag/BAG-API | GherkinHTMLJavaScript | 43 | 0 | 17 | 0 |
input-output-hk/cardano-shell | HaskellTLANix | 30 | 0 | 13 | 0 |
input-output-hk/cardano-report-server | HaskellNix | 2 | 0 | 9 | 0 |