This is stars and forks stats for /stefan-hoeck/idris2-elab-util repository. As of 26 Apr, 2024 this repository has 73 stars and 17 forks.
Idris 2 Elaborator Reflection : Utilities and Documentation Utilities and documentation for exploring Idris 2 elaborator reflection. For a tutorial-ish introduction, start here. Part of the utilities in this package as well as some of my understanding of elaborator reflection in Idris came from the idris2-elab-deriving package. Docs and Tutorial Most tutorial pages in this repository are themselves literate Idris files. In order to typecheck or build those, package file elab-util-docs.ipkg is provided. Related...
Idris 2 Elaborator Reflection : Utilities and Documentation Utilities and documentation for exploring Idris 2 elaborator reflection. For a tutorial-ish introduction, start here. Part of the utilities in this package as well as some of my understanding of elaborator reflection in Idris came from the idris2-elab-deriving package. Docs and Tutorial Most tutorial pages in this repository are themselves literate Idris files. In order to typecheck or build those, package file elab-util-docs.ipkg is provided. Related...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| uw-x/watercomms | MakefileJavaC++ | 71 | 0 | 8 | 0 |
| LineageOS/android_build | MakefilePythonGo | 134 | 0 | 407 | 0 |
| Clever/gitsem | MakefileGo | 18 | 0 | 5 | 0 |
| mateoconlechuga/cesium | PascalAssemblyC++ | 213 | 0 | 14 | 0 |
| OWASP/CheatSheetSeries | PythonShellHTML | 24.8k | 0 | 3.5k | 0 |
| COPCSE-NTNU/thesis-NTNU | TeXMakefileOther | 78 | 0 | 314 | +1 |
| bitoid/bksi | TwigPHPJavaScript | 5 | 0 | 1 | 0 |
| simbricks/simbricks | VerilogC++C | 57 | 0 | 17 | 0 |
| heavenshell/vim-pydocstring | Vim ScriptShellMakefile | 333 | 0 | 54 | 0 |
| bitcoin-stark/khepri | CairoPythonMakefile | 54 | 0 | 16 | 0 |