IHaskell image for Jupyter Docker Stacks
☆81Nov 9, 2025Updated 7 months ago
Alternatives and similar repositories for ihaskell-notebook
Users that are interested in ihaskell-notebook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Jupyter adaptation of Learn You a Haskell for Great Good!☆307Nov 9, 2025Updated 7 months ago
- A Haskell kernel for the Jupyter project.☆2,646Jun 1, 2026Updated last week
- Nix ❤️ Cardano☆20Updated this week
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆25May 7, 2026Updated last month
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 5 months 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.
- Jupyter notebooks☆57Nov 15, 2025Updated 6 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- ☆10Jun 11, 2023Updated 2 years ago
- Minimalistic and an easy to use template for a miso project configured to be able to be compiled with both ghc and ghcjs☆12Oct 2, 2019Updated 6 years ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- higher-kinded data☆30May 16, 2023Updated 3 years ago
- Artists, Albums and Songs represented using Neo4j + GraphQL☆57Apr 12, 2020Updated 6 years ago
- Free book for learning Haskell☆48Aug 10, 2022Updated 3 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Sep 7, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 6 years ago
- Haskell binding for Gremlin graph query language☆27May 25, 2026Updated 2 weeks ago
- A tool to make solving type errors in Haskell simple and fun.☆38Sep 23, 2022Updated 3 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- ☆52Mar 12, 2026Updated 2 months ago
- Monadic do-notation in Python (requires pypy3)☆19Nov 28, 2017Updated 8 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions