thlorenz / WebToInkLinks
Downloads and converts a properly set up Html book or a blog into mobi format
☆40Updated 13 years ago
Alternatives and similar repositories for WebToInk
Users that are interested in WebToInk are comparing it to the libraries listed below
Sorting:
- Resources for the online Type Theory Study Group☆162Updated 8 years ago
- Haskell by Example☆155Updated 4 years ago
- Try Haskell☆192Updated 2 years ago
- Unit test example for Haskell☆174Updated last month
- ☆81Updated 7 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 9 years ago
- DEPRECATED: Windows installer for GHC including msys☆106Updated 9 years ago
- An implementation of the game 2048 in Haskell☆89Updated 11 years ago
- LTS Haskell build plans☆162Updated 2 weeks ago
- A Haskell based awk and sed alternative☆67Updated 8 years ago
- Total functional programming (ESFP) literature☆187Updated 6 years ago
- Learn you an Agda (and achieve enlightenment)☆316Updated 7 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 4 months ago
- A collection of resources for learning type theory.☆99Updated 9 years ago
- ide-backend drives the GHC API to build, query, and run your code☆118Updated 10 years ago
- Haskell papers optimized for my e-reader.☆271Updated 9 years ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 9 years ago
- Jump start your Haskell development☆156Updated 9 years ago
- Live Haskell coding problems☆39Updated 10 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 8 years ago
- Convert Markdown to HTML, with XSS protection☆71Updated 4 years ago
- A tutorial on Parallel and Concurrent Haskell☆220Updated 13 years ago
- Haskell Koans for the Vancouver's Haskell UnMeetup☆284Updated 5 years ago
- Convert Haskell source code to Coq source code☆282Updated 5 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- solutions for book C. Okasaki purely functional data structures☆59Updated 12 years ago
- Presentation/code from my talk at London HUG☆58Updated 13 years ago
- Repository for collaborative Haskell documentation☆206Updated 3 years ago
- Comparing many FRP implementations by reimplementing the same toy app in each.☆496Updated 3 years ago
- ☆49Updated 13 years ago