This is stars and forks stats for /sweirich/pi-forall repository. As of 02 May, 2024 this repository has 513 stars and 87 forks.
pi-forall language This language implementation is designed to accompany four lectures at OPLSS during Summer 2023. Notes for these lectures are included in the distribution: oplss.pdf (The documentation README.md includes details about how the notes are typeset.) These lecture notes correspond to an increasingly expressive demo implementation of a dependently-typed lambda calculus. Each of the following subdirectories is a self-contained implementation and all are generated from the same source,...
pi-forall language This language implementation is designed to accompany four lectures at OPLSS during Summer 2023. Notes for these lectures are included in the distribution: oplss.pdf (The documentation README.md includes details about how the notes are typeset.) These lecture notes correspond to an increasingly expressive demo implementation of a dependently-typed lambda calculus. Each of the following subdirectories is a self-contained implementation and all are generated from the same source,...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| xdanx/le-cycling | HaskellShell | 0 | 0 | 0 | 0 |
| int128/terraform-aws-nat-instance | HCLShellMakefile | 149 | 0 | 71 | 0 |
| s0enke/cloudformation-templates | MakefilePythonGherkin | 86 | 0 | 43 | 0 |
| LineageOS/android_system_sepolicy | PythonCGo | 21 | 0 | 225 | 0 |
| dilshan/star-pointer | PascalCMakefile | 18 | 0 | 2 | 0 |
| makerdao/dss-direct-deposit | SolidityRubyShell | 59 | 0 | 19 | 0 |
| microsoft/GODEL | PythonMakefileSCSS | 776 | 0 | 105 | 0 |
| sphinx-doc/sphinx | PythonTeXJavaScript | 5.7k | +11 | 2k | +1 |
| libusb/libusb | CC++M4 | 4.6k | +12 | 1.8k | +1 |
| sifive/ProcKami | CoqMakefile | 23 | 0 | 4 | 0 |