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.☆77Updated 4 months ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- A workspace for research teams☆104Updated 5 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆70Updated 2 weeks ago
- Simple plotting tool for the terminal☆86Updated last year
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- ☆23Updated 7 years ago
- ♾️ Sized list☆46Updated last year
- Translate Pascal into Haskell☆51Updated 6 years ago
- Diagrams standard library☆139Updated last month
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- git protocol and storage in pure haskell☆66Updated 3 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆96Updated 4 months ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- ☆41Updated 8 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Hackage search engine☆56Updated 7 years ago
- Check properties on standard classes and data structures☆79Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago