Learn You a Lambda, a Haskell Tutorial
☆47Dec 17, 2016Updated 9 years ago
Alternatives and similar repositories for lambda-viewer
Users that are interested in lambda-viewer are comparing it to the libraries listed below
Sorting:
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Apr 17, 2017Updated 8 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- A tiny scheme interpreter in Haskell☆24Jul 14, 2019Updated 6 years ago
- 2015年8月1日 上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115May 1, 2013Updated 12 years ago
- ☆49Jan 6, 2013Updated 13 years ago
- Haskell parser and manipulation functions for Fortran code☆17Mar 18, 2016Updated 9 years ago
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 4 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- haskell-like compiled language based on Python VM☆10Sep 16, 2018Updated 7 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Completion back-end for inf-ruby☆13Sep 5, 2014Updated 11 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- UVA command line client to upload solutions and search for statistics☆10Dec 23, 2016Updated 9 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- XML meta programming☆21Jan 8, 2021Updated 5 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Apr 1, 2019Updated 6 years ago
- Text and Haskell source for my blog series on recursion schemes.☆49Jul 13, 2022Updated 3 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 12 years ago
- ☆22Apr 1, 2013Updated 12 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- A Programming Language for Deep Learning☆462May 10, 2018Updated 7 years ago
- Haskell Standard Input and Output☆46May 13, 2018Updated 7 years ago
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 years ago
- ☆58Oct 11, 2025Updated 4 months ago
- Python notes☆10Aug 13, 2022Updated 3 years ago
- CN MonaD.ReadeR Reading Group☆107Mar 3, 2016Updated 9 years ago
- Haskell implementations of various ML algorithms.☆60May 29, 2014Updated 11 years ago
- A naive θ..θ programming language☆27Oct 23, 2018Updated 7 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 11 years ago
- Notes on higher-order typed compilation. Probably wrong☆23Oct 20, 2022Updated 3 years ago
- React.js for GHCJS☆26Oct 21, 2016Updated 9 years ago
- SML Parser Combinator Library☆28Apr 30, 2016Updated 9 years ago
- A Haskell Parsec Library's Python Edition Implementation.☆43Jan 14, 2022Updated 4 years ago