Alternatives and similar repositories for ika

Users that are interested in ika are comparing it to the libraries listed below

• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆107Updated 9 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 8 years ago
• be5invis / your-type
  ☆25Updated 8 years ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 4 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 9 years ago
• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆67Updated 10 years ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• bramblex / loveaira.me
  My website.
  ☆28Updated 8 years ago
• tioover / lihai
  好像看起来很厉害的东西，但是不太明白呢
  ☆7Updated 8 years ago
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 10 years ago
• ThoughtWorksInc / DeepDarkFantasy
  A Programming Language for Deep Learning
  ☆461Updated 7 years ago
• Dwarfartisan / pyparsec
  A Haskell Parsec Library's Python Edition Implementation.
  ☆43Updated 3 years ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 6 years ago
• boism-org / boism_org
  The website code
  ☆102Updated 8 years ago
• ultimate-lambda / book-reviews
  ☆146Updated 9 years ago
• winterland1989 / magic-haskell
  魔力haskell官方网站
  ☆299Updated 6 years ago
• fp-china / map
  [Deprecated] checkout http://fp-china.org
  ☆59Updated 8 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• haskell-chinese-working-group / ghc-users-guide
  Mirror of the GHC user's guide for readthedocs.org
  ☆10Updated 8 years ago
• bramblex / Smooth
  A simple functional language target to JavaScript
  ☆170Updated 7 years ago
• rnons / shadowsocks-haskell
  shadowsocks in haskell
  ☆57Updated 6 years ago
• ice1000 / Books
  My slides and notes
  ☆137Updated 2 years ago
• MarisaKirisame / CompilingCombinator
  Code for my blog
  ☆11Updated 8 years ago
• ylxdzsw / mo-generator
  有针对性地表达自己的崇敬之心
  ☆37Updated 8 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• watashi / AlgoSolution
  Solutions for Problems of Algorithm Contests and Online Judges
  ☆203Updated 3 months ago
• xiaq / zhuji
  珠玑者算机语也
  ☆38Updated 9 years ago
• xiaq / halang
  见得多了
  ☆62Updated 9 years ago
• laike9m / zhihu-card
  用卡片在个人网站上展示知乎账户
  ☆120Updated 3 years ago