Code and slides for Codemania 'Monads to the Rescue' presentation
☆21May 12, 2014Updated 12 years ago
Alternatives and similar repositories for superhero-monads
Users that are interested in superhero-monads are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- Advent of Code 2016, in Haskell☆15Oct 7, 2017Updated 9 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"☆15Sep 15, 2026Updated last month
- ☆17Jun 22, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An implementation of the 7GUIs in reflex-dom☆17Jun 1, 2016Updated 10 years ago
- mumps compiler forked from sourceforge (Copyright Raymond Douglas Newman)☆13Mar 4, 2013Updated 13 years ago
- Pier3 is a CMS☆11Updated this week
- ☆10Jun 17, 2021Updated 5 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Nov 1, 2026Updated last week
- CS316 "Functional Programming" lecture notes☆25Updated this week
- An append only list in a compact region☆25Sep 6, 2018Updated 8 years ago
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- LiveWeb: web app framework for Smalltalk☆13Feb 1, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- An example of building a shared library (.so) in Haskell and calling it from C and Python.☆10Aug 30, 2012Updated 14 years ago
- Fork of etckeeper to work with OS X.☆10Mar 10, 2015Updated 11 years ago
- MonoMac-based version of Tomboy.☆20Sep 14, 2015Updated 11 years ago
- ☆29Oct 23, 2019Updated 7 years ago
- "Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October …☆190Nov 7, 2016Updated 10 years ago
- MA4N1 Theorem Proving with Lean☆19Oct 28, 2026Updated last week
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- ☆14Apr 22, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Everything you need to create virtual Preact Components with CSS, HTML, and JS.☆21Oct 23, 2016Updated 10 years ago
- ☆16Jun 7, 2016Updated 10 years ago
- ☆15Jan 6, 2016Updated 10 years ago
- The xv6 operating system, ported to the Raspberry Pi☆16Oct 16, 2019Updated 7 years ago
- A migration project of the book "Object-oriented Reengineering Patterns"☆15May 2, 2024Updated 2 years ago
- XML generator library for Haskell☆15Apr 5, 2018Updated 8 years ago
- ☆16May 1, 2021Updated 5 years ago
- Slides for presentation at NY Haskell Meetup.☆10Jul 29, 2018Updated 8 years ago
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 9 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.
- Integrating Hastache templates into Scotty☆17Dec 22, 2014Updated 11 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 years ago
- ☆16May 7, 2020Updated 6 years ago
- Package for using the Mailchimp API in Haskell☆14Aug 23, 2013Updated 13 years ago
- Pure ZeroMQ in Haskell☆12Dec 30, 2012Updated 13 years ago
- A small library to facilitate using the DCI (Data Context Interaction) pattern in javascript.☆10Mar 13, 2013Updated 13 years ago
- A little booklet to master dataframe☆17Updated this week
Are these results useful?