购买 https://gum.co/grokking-monad 在线阅读
☆105Jan 1, 2024Updated 2 years ago
Alternatives and similar repositories for grokking-monad
Users that are interested in grokking-monad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 12 years ago
- A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala☆16May 13, 2013Updated 13 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 5 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- presentation material for 2018-09-02 scala meetup☆11Oct 21, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 这是Haskell函数式编程入门第2版的源码☆84Feb 17, 2018Updated 8 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Finatra template for giter8☆13Jun 3, 2020Updated 6 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Jul 10, 2015Updated 11 years ago
- Examples and explanations of how Akka toolkit works☆21Oct 4, 2022Updated 4 years ago
- ☆18Dec 28, 2018Updated 7 years ago
- Slides and code for "Free Monads and Free Applicatives" from flatMap(Oslo) 2016☆15Jun 8, 2016Updated 10 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- 分布式调度任务服务，基于 Akka 生态☆18Sep 9, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆221Updated this week
- A Scheme dialect☆24Jul 23, 2019Updated 7 years ago
- A Distributed Clojure agent for running remote functions☆19Mar 22, 2025Updated last year
- This is source code of my book.☆66Sep 26, 2016Updated 10 years ago
- 哈利波特里的魂器☆11Apr 21, 2019Updated 7 years ago
- ☆20Oct 15, 2026Updated 3 weeks ago
- Materials for a workshop on JVM performance optimization☆15Jan 27, 2024Updated 2 years ago
- ☆17Aug 20, 2021Updated 5 years ago
- 听说有人用Python壳子的语言骗经费? 过来挨打?☆48Jan 27, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Scala implementation of data structures from Chris Okasaki's book☆43May 5, 2019Updated 7 years ago
- A Scala wrapper for Apache POI's Excel API.☆11Jan 8, 2020Updated 6 years ago
- 《Real World Haskell》中文翻译项目☆1,570Feb 14, 2022Updated 4 years ago
- 开源的信息学竞赛在线评测系统。An open-source online judge system for Olympiad in Informatics. Powered by PHP, Docker, Python, and more.☆18May 31, 2016Updated 10 years ago
- Toolset for retrying potentially failing computations☆15Apr 6, 2021Updated 5 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆42Nov 20, 2018Updated 7 years ago
- A light-weight lock-free series/parallel combined scheduling framework for tasks. The goal is to maximize parallelism in order to minimiz…☆24Nov 15, 2023Updated 2 years ago
- 《软件基础》中文版☆974Jun 19, 2026Updated 4 months ago
- Cartesian Cubical Type Theory☆74Mar 1, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a compiler from a subset of Scheme into X64☆30May 10, 2014Updated 12 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆61Jul 7, 2019Updated 7 years ago
- A template project for Finch-based services.☆28Aug 9, 2017Updated 9 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆754Jul 7, 2021Updated 5 years ago
- Akka Fusion可以轻松创建独立的，生产级的基于Akka的应用程序。我们集成了Akka生态系统里常用及流行的组件， 因此您可以快速搭建开始你的应用。大多数Akka Fusion应用程序只需要很少的配置。☆27Dec 22, 2021Updated 4 years ago
- ☆10Feb 26, 2019Updated 7 years ago
- A simple command-line tool to copy tables from Amazon Redshift to Amazon RDS (PostgreSQL).☆10Feb 15, 2017Updated 9 years ago