eashanhatti/peridot

A fast functional language based on two level type theory

HaskellGenero Formsprogramming-languagehaskelldependent-typestype-theorysystems-languageproglangs-discord
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...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
Gabriella439/graceJavaScriptHaskellCSS3540290
ConferOpenSource/refurbHaskellNix26020
haskell-hvr/HsYAML-aesonHaskell9090
liuxinyu95/unpluggedTeXHaskellPython2.8k01780
haskell/textHaskellC++Other38601530
exercism/haskellHaskellShell45001730
morphismtech/squealHaskellShell3440320
mkovaxx/kyuuHaskell0000
lettier/gifcurryHaskellCSSMakefile1.3k+5550
BurntSushi/erdHaskellNixShell1.7k+21520