This is stars and forks stats for /eashanhatti/peridot repository. As of 19 Apr, 2024 this repository has 391 stars and 4 forks.
STATUS NOTE Peridot is no longer being maintained. An experimental language for exploring the practical applications of two level type theory. Discussion takes place on the r/ProgrammingLanguages Discord server in the #peridot channel. Note: Peridot is a proof-of-concept! It is not intended for real-world use. References and Inspiration REFERENCES.md: A list of prior art that have influenced Peridot's design and implementation in major ways Introduction High-level programming and program performance...
STATUS NOTE Peridot is no longer being maintained. An experimental language for exploring the practical applications of two level type theory. Discussion takes place on the r/ProgrammingLanguages Discord server in the #peridot channel. Note: Peridot is a proof-of-concept! It is not intended for real-world use. References and Inspiration REFERENCES.md: A list of prior art that have influenced Peridot's design and implementation in major ways Introduction High-level programming and program performance...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Gabriella439/grace | JavaScriptHaskellCSS | 354 | 0 | 29 | 0 |
ConferOpenSource/refurb | HaskellNix | 26 | 0 | 2 | 0 |
haskell-hvr/HsYAML-aeson | Haskell | 9 | 0 | 9 | 0 |
liuxinyu95/unplugged | TeXHaskellPython | 2.8k | 0 | 178 | 0 |
haskell/text | HaskellC++Other | 386 | 0 | 153 | 0 |
exercism/haskell | HaskellShell | 450 | 0 | 173 | 0 |
morphismtech/squeal | HaskellShell | 344 | 0 | 32 | 0 |
mkovaxx/kyuu | Haskell | 0 | 0 | 0 | 0 |
lettier/gifcurry | HaskellCSSMakefile | 1.3k | +5 | 55 | 0 |
BurntSushi/erd | HaskellNixShell | 1.7k | +2 | 152 | 0 |