Alternatives and similar repositories for python

Users that are interested in python are comparing it to the libraries listed below

• ying-teaching / python-book

  View on GitHub
  Lecture notes, slides and code
  ☆12Oct 29, 2024Updated last year
• conal / talk-2012-folds-and-unfolds

  View on GitHub
  Talk on folds & unfolds (and combinations) for general algebraic data types
  ☆12Aug 6, 2013Updated 12 years ago
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 9 months ago
• jaalonso / Examenes_de_PF_con_Haskell

  View on GitHub
  Exámenes de programación funcional con Haskell
  ☆10Jun 18, 2023Updated 2 years ago
• fused-effects / fused-effects-lens

  View on GitHub
  Lens combinators for fused-effects.
  ☆17Oct 19, 2020Updated 5 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• zoten / eceu2023

  View on GitHub
  ElixirConfEU 2023 talk material
  ☆12Apr 19, 2023Updated 2 years ago
• SnowOnion / Proof-Theory-Notes-zh_CN

  View on GitHub
  我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…
  ☆11Oct 30, 2018Updated 7 years ago
• well-typed / optics-zurihac-2021

  View on GitHub
  ☆11Jun 19, 2021Updated 4 years ago
• YouyouCong / counterpoint

  View on GitHub
  ☆11Jul 18, 2023Updated 2 years ago
• paigenorth / oplss

  View on GitHub
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Jul 11, 2023Updated 2 years ago
• ekmett / succinct-binary

  View on GitHub
  Succinct binary serialization
  ☆15Aug 26, 2018Updated 7 years ago
• davydog187 / dash

  View on GitHub
  A full-screen display dashboard for your life. Built for my talk, "Surface: A bridge to the JavaScript community" at The Big Elixir 2022
  ☆13Mar 26, 2022Updated 3 years ago
• roman / lc-2018-rock-solid-haskell-services

  View on GitHub
  Slides and projects for LambdaConf 2018 Workshop
  ☆16Jun 3, 2018Updated 7 years ago
• jachermocilla / extra-course-materials

  View on GitHub
  Additional teaching materials not hosted in jachermocilla.org such as sample source code and handouts
  ☆38Updated this week
• stevana / pipelined-state-machines

  View on GitHub
  An experiment in declaratively programming parallel pipelines of state machines.
  ☆18Mar 20, 2023Updated 2 years ago
• JamesLavin / ElixirZone

  View on GitHub
  Code examples used in ElixirZone
  ☆14Oct 12, 2022Updated 3 years ago
• AvramRobert / unfortunate-effects-hs

  View on GitHub
  ☆13Sep 30, 2019Updated 6 years ago
• oisdk / monus-weighted-search

  View on GitHub
  Efficient search weighted by an ordered monoid with monus.
  ☆19Dec 12, 2022Updated 3 years ago
• helijia-web / thinking-of-functional-web-dev

  View on GitHub
  函数式 Web 开发随想录
  ☆13Aug 21, 2019Updated 6 years ago
• axelson / talks

  View on GitHub
  The source code of talks that I've given
  ☆16Nov 7, 2025Updated 3 months ago
• ekmett / intervals

  View on GitHub
  Interval Arithmetic
  ☆27Jan 23, 2025Updated last year
• fpcastle / fpcastle.github.io

  View on GitHub
  A representative FP Castle
  ☆19Jan 16, 2026Updated 3 weeks ago
• germsvel / daze

  View on GitHub
  Build your own web framework - code for talk given at ElixirDaze
  ☆17Feb 28, 2018Updated 7 years ago
• Lysxia / bluefin-algae

  View on GitHub
  Algebraic effects in the Bluefin effect system
  ☆20Dec 29, 2025Updated last month
• ixaxaar / monoid.space

  View on GitHub
  Learn pure math with agda
  ☆16Oct 18, 2025Updated 3 months ago
• KeepZen / the-corner-of-elixir

  View on GitHub
  Book of The Corner of Elixir
  ☆18Aug 11, 2022Updated 3 years ago
• CindyLinz / Tutor-Haskell

  View on GitHub
  跟幾個朋友 study group 所用的教材
  ☆21Dec 8, 2015Updated 10 years ago
• melange-community / melange-json

  View on GitHub
  Compositional JSON encode/decode library and PPX for Melange and OCaml
  ☆23Dec 14, 2025Updated 2 months ago
• dkarter / deploy-elixir-example

  View on GitHub
  ⚙️ Automatic server provisioning and configuration for Elixir and Phoenix Deployment
  ☆19Jan 9, 2024Updated 2 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• richardimaoka / resources

  View on GitHub
  ☆23Aug 1, 2018Updated 7 years ago
• lotz84 / recursion-algorithms

  View on GitHub
  a collection of various algorithms written using recursion schemes
  ☆23Jan 2, 2022Updated 4 years ago
• nomeata / haskell-via-sokoban

  View on GitHub
  A haskell tutorial using CodeWorld
  ☆19Jan 5, 2025Updated last year
• amiralis / pycon2018_blockchain_tutorial

  View on GitHub
  Getting Started with Blockchain & Cryptocurrencies in Python (PyCon 2018)
  ☆20May 9, 2018Updated 7 years ago
• weiwen99 / the-fibonacci-problem

  View on GitHub
  ☆15May 29, 2020Updated 5 years ago
• coot / free-category

  View on GitHub
  Free categories, free arrows and free categories with monadic actions
  ☆24Mar 4, 2025Updated 11 months ago
• uroboros / haskell_design_patterns

  View on GitHub
  Code bundle for "Haskell Design Patterns" book
  ☆18Dec 12, 2015Updated 10 years ago
• ZK-Hack / puzzle-gamma-ray

  View on GitHub
  ☆22Jan 16, 2024Updated 2 years ago