| ice1000/resume |
685 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
agpl-3.0 |
Typst |
| :space_invader: My resume / 我的简历 |
| ndmitchell/derive |
21 |
|
77 |
0 |
about 7 years ago |
47 |
December 01, 2023 |
13 |
other |
TeX |
| A Haskell program and library to derive instances for data types |
| GaloisInc/sat2015-crypto |
14 |
|
0 |
0 |
over 10 years ago |
0 |
|
0 |
bsd-3-clause |
TeX |
| Slides and examples to accompany the September 25th invited talk at SAT 2015 |
| konn/lk-proof-assistant |
7 |
|
0 |
0 |
about 13 years ago |
0 |
|
0 |
other |
Haskell |
| Simple Proof assistant for LK Calculus (First-Order logic) |
| 0cjs/ruby2haskell-tutorial |
6 |
|
0 |
0 |
over 10 years ago |
0 |
|
0 |
|
TeX |
| A presentation/tutorial on basic Haskell for Ruby programmers, and support materials. |
| zilberstein/system-fc-coq |
6 |
|
0 |
0 |
almost 11 years ago |
0 |
|
0 |
|
TeX |
