Idris Dev
A Dependently Typed Functional Programming Language
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Idris Dev | 3,382 | 10 | 4 months ago | 71 | October 22, 2021 | 708 | other | Haskell | ||
| A Dependently Typed Functional Programming Language | ||||||||||
| Microwiki | 33 | 12 years ago | other | Python | ||||||
| A very small but fully functional wiki | ||||||||||
| Tiddlywikiformula | 26 | 3 years ago | 7 | mit | HTML | |||||
| Functional Formulas for TiddlyWiki, in the style of Excel and Google Sheets | ||||||||||
| Awesome Frege | 25 | 3 years ago | cc0-1.0 | |||||||
| :star: Useful resources for the Frege programming language | ||||||||||
| Lunarbox | 23 | 4 months ago | 20 | other | PureScript | |||||
| Visual functional programming language | ||||||||||
| Notes Milewski Ctfp Hs | 22 | 5 years ago | 1 | other | Haskell | |||||
| Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski | ||||||||||
| Meetup | 10 | 7 years ago | mit | JavaScript | ||||||
| React.js Thessaloniki meetup wiki and resources | ||||||||||
| Flib | 10 |  | 2 | 7 years ago | 4 | November 13, 2016 | JavaScript | |||
| fLib - vanilla JS functional helper https://vodich.github.io/flib/ | ||||||||||
| Netcom2 | 8 | 5 years ago | 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". | ||||||||||
| Redmine_wiki_template | 6 | 14 years ago | Ruby | |||||||
| Very simple yet useful template plugin for Redmine | ||||||||||
Alternatives To Idris DevSelect To Compare
Alternative Project Comparisons
Popular Functional Programming Projects
Popular Wiki Projects
Popular Software Development Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Language
Haskell
Functional Programming
Wiki
Programming Language
Irc