| hmemcpy/milewski-ctfp-pdf |
10,547 |
|
0 |
0 |
over 2 years ago |
0 |
|
53 |
other |
TeX |
| Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source |
| gfngfn/SATySFi |
1,246 |
|
0 |
0 |
3 months ago |
0 |
|
117 |
lgpl-3.0 |
OCaml |
| A statically-typed, functional typesetting system |
| deselaers/latex-beamerposter |
317 |
|
0 |
0 |
over 4 years ago |
0 |
|
2 |
gpl-2.0 |
TeX |
| The LaTeX beamerposter package |
| mchakravarty/haskell.sty |
26 |
|
0 |
0 |
over 13 years ago |
0 |
|
0 |
other |
|
| LaTeX style file to typeset functional languages like Haskell |
| dhil/phd-dissertation |
23 |
|
0 |
0 |
almost 3 years ago |
0 |
|
0 |
|
TeX |
| A summary of my activities during the past four years |
| alstn2468/category-theory-for-programmers |
21 |
|
0 |
0 |
almost 4 years ago |
0 |
|
0 |
mit |
TypeScript |
| 🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚 |
| alhassy/HaskellCheatSheet |
15 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
|
|
| A reference sheet for the basics of the mind-expanding Haskell language ^_^ |
| emanuelenardi/latex-sml |
9 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
|
TeX |
| Collezione degli esami del corso di Programmazione Funzionale tenuto all'Università degli Studi di Trento. |
| klim-/pyplane |
6 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
gpl-3.0 |
Python |
| Phase plane analysis of nonlinear systems |
