gibiansky / jupyter-haskellLinks
A Haskell implementation of the Jupyter messaging protocol
☆41Updated 5 years ago
Alternatives and similar repositories for jupyter-haskell
Users that are interested in jupyter-haskell are comparing it to the libraries listed below
Sorting:
- Source for personal blog.☆78Updated 3 months ago
- Diagrams standard library☆140Updated last week
- Simple plotting tool for the terminal☆87Updated 2 years ago
- A workspace for research teams☆106Updated 6 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆98Updated 8 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆71Updated 2 weeks ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- constructive abstract algebra☆104Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 6 months ago
- Fast binary serialization in Haskell☆110Updated 11 months ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year
- An implementation of Flatris using Haskell and Miso☆32Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Check properties on standard classes and data structures☆80Updated 2 months ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Generate Haskell code from a type☆145Updated 9 months ago
- Generic random generators☆81Updated 2 years ago
- Predictable Haskell development environments with Cabal and Nix.☆66Updated 6 years ago
- Jupyter notebooks☆58Updated last month
- Describe Haskell code in GHCi☆72Updated 8 years ago
- SVG loader/serializer for Haskell☆29Updated 2 years ago
- Hoogle terminal UI brick example app☆103Updated 3 weeks ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- Slides & demos for talks I do☆58Updated 2 months ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆114Updated last year
- A dependency manager for Haskell☆97Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago