Alternatives and similar repositories for ika

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

• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 8 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆107Updated 9 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• bramblex / loveaira.me
  My website.
  ☆28Updated 8 years ago
• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆67Updated 10 years ago
• boism-org / boism_org
  The website code
  ☆102Updated 8 years ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 6 years ago
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 10 years ago
• be5invis / your-type
  ☆25Updated 8 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 9 years ago
• bramblex / Smooth
  A simple functional language target to JavaScript
  ☆170Updated 7 years ago
• Dwarfartisan / pyparsec
  A Haskell Parsec Library's Python Edition Implementation.
  ☆43Updated 3 years ago
• ylxdzsw / mo-generator
  有针对性地表达自己的崇敬之心
  ☆37Updated 8 years ago
• rnons / shadowsocks-haskell
  shadowsocks in haskell
  ☆57Updated 6 years ago
• ThoughtWorksInc / DeepDarkFantasy
  A Programming Language for Deep Learning
  ☆462Updated 7 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 4 years ago
• xiaq / zhuji
  珠玑者算机语也
  ☆38Updated 9 years ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 years ago
• ultimate-lambda / book-reviews
  ☆146Updated 9 years ago
• laike9m / zhihu-card
  用卡片在个人网站上展示知乎账户
  ☆120Updated 3 years ago
• yinwang0 / psydiff
  A structural comparison tool for Python
  ☆115Updated 8 years ago
• IntroToProgramming / IntroductionToProgramming
  Introduction to Programming
  ☆58Updated 6 months ago
• fp-china / map
  [Deprecated] checkout http://fp-china.org
  ☆59Updated 9 years ago
• MarisaKirisame / CompilingCombinator
  Code for my blog
  ☆11Updated 8 years ago
• winterland1989 / magic-haskell
  魔力haskell官方网站
  ☆299Updated 6 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• moevis / lambda-lite-js
  a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言，使用 js 实现。
  ☆78Updated 6 years ago
• luohaha / Dior
  A kind of Lisp
  ☆54Updated 3 years ago
• hczhcz / y86
  Yet another Y86 implementation
  ☆67Updated 6 months ago