Alternatives and similar repositories for qcon_demo:

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

• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 7 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• be5invis / your-type
  ☆25Updated 8 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆107Updated 9 years ago
• ultimate-lambda / book-reviews
  ☆148Updated 8 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• w41ter / LL-Script
  Simple script
  ☆42Updated 7 years ago
• be5invis / patrisika
  An AST Library
  ☆49Updated last year
• MarisaKirisame / lambda_calculus
  ☆14Updated 9 years ago
• thautwarm / Redy
  thautwarm utilities.
  ☆11Updated 6 years ago
• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆67Updated 9 years ago
• fp-china / map
  [Deprecated] checkout http://fp-china.org
  ☆59Updated 8 years ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 4 years ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆80Updated 7 years ago
• Dwarfartisan / pyparsec
  A Haskell Parsec Library's Python Edition Implementation.
  ☆42Updated 3 years ago
• moevis / lambda-lite-js
  a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言，使用 js 实现。
  ☆78Updated 6 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• thautwarm / EBNFParser
  Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
  ☆65Updated 7 years ago
• jojoin / Def
  可扩展的编程语言
  ☆125Updated last year
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 10 years ago
• jcouyang / grokking-monad
  购买 https://gum.co/grokking-monad 在线阅读
  ☆102Updated last year
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 2 years ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 5 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 4 years ago
• moevis / Kaleidoscope-LLVM-tutorial-zh-cn
  Kaleidoscope tutorial chinese translatio。 Kaleidoscope-llvm教程文档中文翻译。
  ☆56Updated 10 years ago
• Kingwl / harufe
  FE in deep
  ☆29Updated 7 years ago
• Dwarfartisan / ruskell
  Some Haskell Functions Written As Rust Library.
  ☆36Updated 9 years ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆60Updated 6 years ago