jachermocilla/extra-course-materials external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jachermocilla/extra-course-materials

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jachermocilla/extra-course-materials)

Close

jachermocilla / extra-course-materialsView on GitHubMore

• External links
• Readme badge

Additional teaching materials not hosted in jachermocilla.org such as sample source code and handouts

☆39Mar 26, 2026Updated 2 weeks ago

Alternatives and similar repositories for extra-course-materials

Users that are interested in extra-course-materials are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• fused-effects / fused-effects-lens

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

  View on GitHub
  Python notes
  ☆10Aug 13, 2022Updated 3 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 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 4 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• well-typed / optics-zurihac-2021

  View on GitHub
  ☆11Jun 19, 2021Updated 4 years ago
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 11 months ago
• 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
• helijia-web / thinking-of-functional-web-dev

  View on GitHub
  函数式 Web 开发随想录
  ☆13Aug 21, 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
• juhp / koji-tool

  View on GitHub
  Koji buildsystem CLI tool to query tasks, install build rpms, and check buildlog sizes
  ☆11Dec 23, 2025Updated 3 months ago
• JamesLavin / ElixirZone

  View on GitHub
  Code examples used in ElixirZone
  ☆15Oct 12, 2022Updated 3 years ago
• stevana / pipelined-state-machines

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

  View on GitHub
  Exámenes de programación funcional con Haskell
  ☆10Jun 18, 2023Updated 2 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
• 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
• roman / lc-2018-rock-solid-haskell-services

  View on GitHub
  Slides and projects for LambdaConf 2018 Workshop
  ☆16Jun 3, 2018Updated 7 years ago
• AvramRobert / unfortunate-effects-hs

  View on GitHub
  ☆13Sep 30, 2019Updated 6 years ago
• YouyouCong / counterpoint

  View on GitHub
  ☆11Jul 18, 2023Updated 2 years ago
• zoten / eceu2023

  View on GitHub
  ElixirConfEU 2023 talk material
  ☆12Apr 19, 2023Updated 2 years ago
• axelson / talks

  View on GitHub
  The source code of talks that I've given
  ☆17Nov 7, 2025Updated 5 months ago
• fpcastle / fpcastle.github.io

  View on GitHub
  A representative FP Castle
  ☆19Jan 16, 2026Updated 2 months ago
• KeepZen / the-corner-of-elixir

  View on GitHub
  Book of The Corner of Elixir
  ☆18Aug 11, 2022Updated 3 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 4 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• germsvel / daze

  View on GitHub
  Build your own web framework - code for talk given at ElixirDaze
  ☆17Feb 28, 2018Updated 8 years ago
• melange-community / melange-json

  View on GitHub
  Compositional JSON encode/decode library and PPX for Melange and OCaml
  ☆23Dec 14, 2025Updated 3 months ago
• owickstrom / fast-and-fearless-evolution-of-server-side-webapps

  View on GitHub
  Slides and code examples for a talk
  ☆22Dec 19, 2017Updated 8 years ago
• paigenorth / oplss

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

  View on GitHub
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Apr 21, 2021Updated 4 years ago
• dkarter / deploy-elixir-example

  View on GitHub
  ⚙️ Automatic server provisioning and configuration for Elixir and Phoenix Deployment
  ☆19Jan 9, 2024Updated 2 years ago
• ixaxaar / monoid.space

  View on GitHub
  Learn pure math with agda
  ☆16Oct 18, 2025Updated 5 months ago
• coot / free-category

  View on GitHub
  Free categories, free arrows and free categories with monadic actions
  ☆24Mar 4, 2025Updated last year
• TaktInc / freer

  View on GitHub
  ☆23Apr 17, 2018Updated 7 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• CindyLinz / Tutor-Haskell

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

  View on GitHub
  Algebraic effects in the Bluefin effect system
  ☆21Mar 27, 2026Updated last week
• ZK-Hack / puzzle-gamma-ray

  View on GitHub
  ☆22Jan 16, 2024Updated 2 years ago
• nomeata / haskell-via-sokoban

  View on GitHub
  A haskell tutorial using CodeWorld
  ☆19Jan 5, 2025Updated last year
• weiwen99 / the-fibonacci-problem

  View on GitHub
  ☆15May 29, 2020Updated 5 years ago
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• uroboros / haskell_design_patterns

  View on GitHub
  Code bundle for "Haskell Design Patterns" book
  ☆18Dec 12, 2015Updated 10 years ago