| idris-lang/Idris-dev |
3,382 |
|
10 |
0 |
over 2 years ago |
71 |
October 22, 2021 |
708 |
other |
Haskell |
| A Dependently Typed Functional Programming Language |
| rongarret/microWiki |
33 |
|
0 |
0 |
over 13 years ago |
0 |
|
0 |
other |
Python |
| A very small but fully functional wiki |
| EvanBalster/TiddlyWikiFormula |
26 |
|
0 |
0 |
over 5 years ago |
0 |
|
7 |
mit |
HTML |
| Functional Formulas for TiddlyWiki, in the style of Excel and Google Sheets |
| sfischer13/awesome-frege |
25 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
cc0-1.0 |
|
| :star: Useful resources for the Frege programming language |
| lunarcast/lunarbox |
23 |
|
0 |
0 |
over 2 years ago |
0 |
|
20 |
other |
PureScript |
| Visual functional programming language |
| rpeszek/notes-milewski-ctfp-hs |
22 |
|
0 |
0 |
almost 7 years ago |
0 |
|
1 |
other |
Haskell |
| Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski |
| v0d1ch/flib |
10 |
|
0 |
2 |
over 9 years ago |
4 |
November 13, 2016 |
0 |
|
JavaScript |
| fLib - vanilla JS functional helper https://vodich.github.io/flib/ |
| react-skg/meetup |
10 |
|
0 |
0 |
over 8 years ago |
0 |
|
0 |
mit |
JavaScript |
| React.js Thessaloniki meetup wiki and resources |
| ThorbenKuck/NetCom2 |
8 |
|
0 |
0 |
over 6 years ago |
0 |
|
5 |
mit |
Java |
| NetCom2 is a highly modular Client-Server-Communication-Framework, in the style of an EventBus following the idea of "code less, do more". |
| wuatanabe/redmine_wiki_template |
6 |
|
0 |
0 |
over 15 years ago |
0 |
|
0 |
|
Ruby |
| Very simple yet useful template plugin for Redmine |
