home page
☆75Aug 25, 2022Updated 3 years ago
Alternatives and similar repositories for haskellcn
Users that are interested in haskellcn are comparing it to the libraries listed below
Sorting:
- Learn Haskell☆14Jun 10, 2022Updated 3 years ago
- Some online judge solutions in Haskell☆19May 19, 2016Updated 9 years ago
- Stock Market Visualization in Haskell and Qt Quick☆21Dec 15, 2014Updated 11 years ago
- Mirror of the GHC user's guide for readthedocs.org☆10Nov 29, 2016Updated 9 years ago
- 魔力haskell官方网站☆298May 15, 2019Updated 6 years ago
- 《Real World Haskell》中文翻译项目☆1,579Feb 14, 2022Updated 4 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Apr 1, 2019Updated 6 years ago
- ☆23Feb 5, 2024Updated 2 years ago
- Haskell Group Community >>= Haskell 中文社区。☆16Mar 19, 2021Updated 4 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- Function Programming China home page☆18Oct 21, 2025Updated 4 months ago
- 📚 - Resources for Machine Learning and Haskell☆21Nov 14, 2017Updated 8 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Nov 5, 2011Updated 14 years ago
- 动态设置进程全局 HTTP 代理☆29Mar 5, 2023Updated 2 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Simplified and community-driven man pages (tldr-pages) in a single binary.☆31Apr 9, 2023Updated 2 years ago
- PHP Library for work with Lazada API☆10Jun 2, 2015Updated 10 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆220Updated this week
- ☆32Aug 15, 2019Updated 6 years ago
- A toy xmonad☆31Mar 25, 2020Updated 5 years ago
- China Scala User Group☆38Oct 15, 2018Updated 7 years ago
- An experimental Kotlin compiler in Rust.☆16May 13, 2020Updated 5 years ago
- ☆15Sep 19, 2021Updated 4 years ago
- 能生成Javascript版编译机的yacc☆10May 10, 2011Updated 14 years ago
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …☆11Aug 24, 2023Updated 2 years ago
- Coq集合论中文教程☆46Dec 17, 2021Updated 4 years ago
- IO lib for haskell☆99May 20, 2024Updated last year
- Programming Languages: Application and Interpretation☆248Jul 20, 2023Updated 2 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- 华为集合通信性能测试☆15May 27, 2024Updated last year
- 米老朱的博客 Ritchie Pub.☆10Mar 13, 2019Updated 6 years ago
- (翻译)JavaScript轻量级函数式编程☆14Sep 30, 2019Updated 6 years ago
- Awesome breathing halftone animation for pictures☆11Mar 12, 2023Updated 2 years ago
- Behavior Tree implementation in ES6.☆10Dec 8, 2016Updated 9 years ago
- Library for creating 2D tile-based games with Corona SDK.☆44May 16, 2015Updated 10 years ago
- This repo conatains all the types of tutorials be it videos, pdfs, code snippets etc of every popular technology☆11Aug 31, 2019Updated 6 years ago