Alternatives and similar repositories for haskell_essays

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

• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• shouya / thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆31Updated last year
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 4 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• rnons / shadowsocks-haskell
  shadowsocks in haskell
  ☆57Updated 6 years ago
• hczhcz / y86
  Yet another Y86 implementation
  ☆67Updated 5 months ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 8 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated last week
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆107Updated 9 years ago
• lambdalabdesigner / pysonar2
  ☆27Updated 9 years ago
• webyrd / miniKanren
  Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
  ☆134Updated 10 years ago
• binghe / informatica-public
  Public code developed during my MSc study at University of Bologna
  ☆76Updated 2 years ago
• racket / eopl
  ☆39Updated last month
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 10 years ago
• bartuer / ydiff
  a language-aware tool for comparing programs
  ☆28Updated 13 years ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆7Updated 3 years ago
• ultimate-lambda / book-reviews
  ☆146Updated 9 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• marcomaggi / vicare
  A native compiler for Scheme compliant with R6RS
  ☆200Updated 7 years ago
• DeathKing / Hit-DataStructure-On-Scheme
  哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。
  ☆82Updated 11 years ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆81Updated 8 years ago
• moevis / Kaleidoscope-LLVM-tutorial-zh-cn
  Kaleidoscope tutorial chinese translatio。 Kaleidoscope-llvm教程文档中文翻译。
  ☆56Updated 10 years ago
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆89Updated last year
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 11 years ago
• avsm / xen-minios
  Really mini operating system (extracted from xen-unstable, and much stuff removed)
  ☆190Updated 13 years ago
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 7 years ago