vaibhavsagar / notebooks
Jupyter notebooks
☆58Updated 3 months ago
Alternatives and similar repositories for notebooks:
Users that are interested in notebooks are comparing it to the libraries listed below
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- ♾️ Sized list☆46Updated 10 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- ☆40Updated 6 years ago
- Comma (and other) separated values☆77Updated last year
- Stroll: an experimental build system☆40Updated last year
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- ☆41Updated 7 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 3 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.☆17Updated 6 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Example-based Haskell Documentation Engine☆59Updated 5 years ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Search Haskell source code from the command line☆75Updated 4 years ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated 6 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago