| jozefg/learn-tt |
1,307 |
|
0 |
0 |
over 5 years ago |
0 |
|
4 |
|
|
| A collection of resources for learning type theory and type theory adjacent fields. |
| coq-community/coq-ext-lib |
122 |
|
0 |
0 |
about 2 years ago |
0 |
|
17 |
bsd-2-clause |
Coq |
| A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai] |
| Lysxia/profunctor-monad |
33 |
|
0 |
0 |
almost 4 years ago |
2 |
May 17, 2022 |
1 |
mit |
Coq |
| Bidirectional programming in Haskell with monadic profunctors |
| hurryabit/pukeko |
20 |
|
0 |
0 |
over 4 years ago |
0 |
|
3 |
other |
Haskell |
| A toy compiler based on SPJ's "The Implementation of Functional Programming Languages" |
| namin/dafny-sandbox |
17 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
Dafny |
| Dafny for Metatheory of Programming Languages |
| julbinb/concept-params |
8 |
|
0 |
0 |
almost 9 years ago |
0 |
|
0 |
mit |
Coq |
| Coq formalization of "concept parameters" for "generic" programming in STLC |
| l2ctsinghua/l2c |
7 |
|
0 |
0 |
over 6 years ago |
0 |
|
1 |
other |
Coq |
| SatyendraBanjare/plt-formal-methods-resources |
7 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
|
|
| Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields. |
| razvan-flavius-panda/awesome-agda-programming |
7 |
|
0 |
0 |
over 5 years ago |
0 |
|
1 |
mit |
|
| Awesome Agda Programming |
| bor0/misc |
6 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
C |
| Misc playground and random stuff |
