Alternatives and similar repositories for grokking-monad

Users that are interested in grokking-monad are comparing it to the libraries listed below

• zfy0701 / hindley-milner

  View on GitHub
  A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala
  ☆17May 13, 2013Updated 12 years ago
• ice1000 / Books

  View on GitHub
  My slides and notes
  ☆140May 31, 2023Updated 2 years ago
• pishen / minitime

  View on GitHub
  Minitime - a Java Time wrapper for Scala and Scala.js
  ☆16Jan 17, 2020Updated 6 years ago
• jdegoes / jvm-perf

  View on GitHub
  Materials for a workshop on JVM performance optimization
  ☆14Jan 27, 2024Updated 2 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source

  View on GitHub
  这是Haskell函数式编程入门第2版的源码
  ☆84Feb 17, 2018Updated 7 years ago
• Cm-lang / Cmc

  View on GitHub
  the compiler for the Cm programming language
  ☆31Dec 13, 2017Updated 8 years ago
• zellio / incrementum

  View on GitHub
  Incremental implementation of a scheme compiler
  ☆29Mar 16, 2013Updated 12 years ago
• chinanf-boy / rustlings-zh

  View on GitHub
  中文翻译:<rust-lang/rustlings> 帮你扶住 Rust 的那双手 ✅
  ☆16May 29, 2019Updated 6 years ago
• moonbitlang / llvm.mbt

  View on GitHub
  Write llvm in moonbit!
  ☆24Jan 28, 2026Updated 2 weeks ago
• futurice / minimal-play2

  View on GitHub
  Play framework example application
  ☆17Mar 2, 2020Updated 5 years ago
• WayneWang12 / play-quill

  View on GitHub
  ☆17Aug 20, 2021Updated 4 years ago
• akka-fusion / fusion-schedulerx

  View on GitHub
  分布式调度任务服务，基于 Akka 生态
  ☆18Sep 9, 2020Updated 5 years ago
• component / css

  View on GitHub
  DOM element css helper
  ☆30Oct 28, 2017Updated 8 years ago
• droundy / go-compiler

  View on GitHub
  a toy go compiler written in go
  ☆22Dec 18, 2010Updated 15 years ago
• confucianzuoyuan / Introduction-to-Algorithms

  View on GitHub
  ☆18Dec 28, 2018Updated 7 years ago
• Agda-zh / PLFA-zh

  View on GitHub
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆220Updated this week
• Elderry / TaPL-SML

  View on GitHub
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Jul 10, 2015Updated 10 years ago
• hansroland / CoreLang

  View on GitHub
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Aug 13, 2020Updated 5 years ago
• syzoj / judge-v3

  View on GitHub
  Distributed judge daemon
  ☆28Oct 4, 2023Updated 2 years ago
• MnO2 / t-digest

  View on GitHub
  t-digest in Rust
  ☆28Jan 9, 2023Updated 3 years ago
• renormalizable / ircbot

  View on GitHub
  ☆25Sep 30, 2023Updated 2 years ago
• Coq-zh / SF-zh

  View on GitHub
  《软件基础》中译版 Software Foundations Chinese Translation
  ☆963Mar 14, 2022Updated 3 years ago
• QuarticCat / enum-ptr

  View on GitHub
  Ergonomic tagged pointer
  ☆31Oct 8, 2024Updated last year
• bdo-cash / reflow

  View on GitHub
  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
• HaskellZhangSong / Introduction_to_Haskell

  View on GitHub
  This is source code of my book.
  ☆67Sep 26, 2016Updated 9 years ago
• owo-lang / OwO

  View on GitHub
  Placeholder for the OwO compiler
  ☆60Feb 20, 2019Updated 6 years ago
• NickCao / ranet

  View on GitHub
  redundant array of networks
  ☆31Dec 18, 2025Updated last month
• overlogged / steak

  View on GitHub
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Mar 13, 2019Updated 6 years ago
• akka-fusion / akka-fusion

  View on GitHub
  Akka Fusion可以轻松创建独立的，生产级的基于Akka的应用程序。我们集成了Akka生态系统里常用及流行的组件， 因此您可以快速搭建开始你的应用。大多数Akka Fusion应用程序只需要很少的配置。
  ☆29Dec 22, 2021Updated 4 years ago
• hms-dbmi / upset-altair-notebook

  View on GitHub
  Jupyter Notebooks and other code for Altair-based Interactive UpSet Plots
  ☆31Dec 1, 2021Updated 4 years ago
• softwaremill / akka-vs-scalaz

  View on GitHub
  ☆63Sep 6, 2018Updated 7 years ago
• HaskellCNOrg / haskellcn

  View on GitHub
  home page
  ☆75Aug 25, 2022Updated 3 years ago
• windymelt / mcp-scala

  View on GitHub
  Model Context Protocol server written in Scala
  ☆34Jun 25, 2025Updated 7 months ago
• ihciah / certain-map

  View on GitHub
  A typed map which can make sure item exist.
  ☆36Oct 30, 2024Updated last year
• plctlab / LuaJIT

  View on GitHub
  Porting LuaJIT to RISC-V 64
  ☆31Updated this week
• huangzworks / real-world-haskell-cn

  View on GitHub
  《Real World Haskell》中文翻译项目
  ☆1,577Feb 14, 2022Updated 4 years ago
• pishen / store4s

  View on GitHub
  A Scala library for Firestore in Datastore mode
  ☆13Jun 11, 2024Updated last year
• iDoka / hdl-secded-producer

  View on GitHub
  MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.
  ☆11Dec 27, 2022Updated 3 years ago
• nanpuyue / trsh

  View on GitHub
  A TLS encrypted Reverse Shell
  ☆36Mar 25, 2023Updated 2 years ago