Ninputer / qcon_demo

Related projects ⓘ

Alternatives and complementary repositories for qcon_demo

• be5invis / your-type
  ☆25Updated 7 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆102Updated 7 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• fp-china / map
  [Deprecated] checkout http://fp-china.org
  ☆60Updated 8 years ago
• ultimate-lambda / book-reviews
  ☆148Updated 8 years ago
• Dwarfartisan / ruskell
  Some Haskell Functions Written As Rust Library.
  ☆36Updated 8 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆108Updated 8 years ago
• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆68Updated 9 years ago
• be5invis / patrisika
  An AST Library
  ☆49Updated 8 months ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 3 years ago
• chaosim / peasy
  an easy but powerful parser
  ☆160Updated 10 years ago
• moevis / lambda-lite-js
  a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言，使用 js 实现。
  ☆78Updated 6 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 9 years ago
• moevis / Kaleidoscope-LLVM-tutorial-zh-cn
  Kaleidoscope tutorial chinese translatio。 Kaleidoscope-llvm教程文档中文翻译。
  ☆56Updated 9 years ago
• Liutos / LiutCL
  主动挖坑并打算努力填坑的一个简陋的Lisp解释器
  ☆33Updated last year
• Dwarfartisan / pyparsec
  A Haskell Parsec Library's Python Edition Implementation.
  ☆42Updated 2 years ago
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 9 years ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆79Updated 7 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago
• jojoin / Def
  可扩展的编程语言
  ☆126Updated 6 months ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 7 years ago
• w41ter / LL-Script
  Simple script
  ☆42Updated 7 years ago