Alternatives and similar repositories for haskell_essays:

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

• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 7 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• rnons / shadowsocks-haskell
  shadowsocks in haskell
  ☆57Updated 6 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆68Updated 9 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 9 years ago
• MarisaKirisame / first_order_logic_prover
  ☆58Updated 7 years ago
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 10 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• spiritbear / Grad-School-Code
  Some Code from my Grad School Courses
  ☆107Updated 13 years ago
• tioover / ika
  Lisp interpreter
  ☆10Updated 10 years ago
• HaskellCNOrg / haper
  FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
  ☆12Updated 7 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆107Updated 9 years ago
• soimort / wiki
  ☆78Updated 7 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• coldnew / COSCUP2013_org-mode
  My COSCUP 2013 topic: "Org-Mode: Emacs' Swiss Army Knife" resource and slide
  ☆20Updated 9 years ago
• ltoddy / scheme.c
  A Scheme interpreter base on R5RS specification.
  ☆52Updated 4 years ago
• Milesturing / 4go
  four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming
  ☆8Updated 8 years ago
• MarisaKirisame / CompilingCombinator
  Code for my blog
  ☆11Updated 8 years ago
• bartuer / ydiff
  a language-aware tool for comparing programs
  ☆28Updated 13 years ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 3 years ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆80Updated 7 years ago
• shouya / thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆30Updated last year
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 10 years ago
• hczhcz / y86
  Yet another Y86 implementation
  ☆67Updated 2 months ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 5 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆78Updated 9 years ago