This is stars and forks stats for /TOTBWF/teenytt repository. As of 02 May, 2024 this repository has 26 stars and 4 forks.
TeenyTT Teenytt is a very small, didactic proof assistant designed around dependent type theory. Development Currently, the best Haskell development tool is HLS, which ought to work with most major editors. Note that we use -XStrictData by default. This is done to highlight the key uses of lazyness, while avoiding needless clutter imposed strictness annotations everywhere.
TeenyTT Teenytt is a very small, didactic proof assistant designed around dependent type theory. Development Currently, the best Haskell development tool is HLS, which ought to work with most major editors. Note that we use -XStrictData by default. This is done to highlight the key uses of lazyness, while avoiding needless clutter imposed strictness annotations everywhere.
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
airalab/hs-web3 | HaskellC | 183 | 0 | 66 | 0 |
egorrrr/word | Haskell | 1 | 0 | 0 | 0 |
haskell/bytestring | HaskellC | 271 | 0 | 134 | 0 |
mathieulh/Lib-PSP-iplloader-Jump-Slide-POC | AssemblyMakefileLex | 8 | 0 | 4 | 0 |
mathieulh/Lib-PSP-iplloader-Bootstraper-for-DTP-T1000 | AssemblyMakefileLex | 1 | 0 | 1 | 0 |
clojure-emacs/parseedn | Emacs LispMakefile | 54 | 0 | 15 | 0 |
3ogx/editor.config | Emacs LispOther | 1 | 0 | 0 | 0 |
cask/shut-up | Emacs LispMakefile | 52 | 0 | 10 | 0 |
magit/forge | Emacs LispMakefile | 1.2k | 0 | 110 | 0 |
plexus/a.el | Emacs Lisp | 88 | 0 | 10 | 0 |