Relational algebra
☆25Jan 1, 2017Updated 9 years ago
Alternatives and similar repositories for Haskell-Bears-Library
Users that are interested in Haskell-Bears-Library 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 to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 5 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 7 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Haskell (GHCJS) bindings to the virtual-dom project☆26May 11, 2015Updated 10 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆21Oct 26, 2016Updated 9 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- Multidimensional arrays and simple tensor computations☆38Apr 8, 2024Updated last year
- Numerical computation in native Haskell☆94Jan 16, 2026Updated 2 months ago
- Set monad☆19Jun 11, 2023Updated 2 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- A high level HTTP client for Haskell that focuses on ease of use☆62Oct 13, 2017Updated 8 years ago
- Small programs with unknown halting status.☆13Jun 7, 2016Updated 9 years ago
- ☆25Jun 10, 2023Updated 2 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- Google Translate API☆50Dec 14, 2024Updated last year
- lenses, folds, traversals, prisms for taggy☆21Apr 7, 2022Updated 3 years ago
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- ☆22Jul 10, 2017Updated 8 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- Slides from talks that I give☆297Jun 23, 2023Updated 2 years ago
- A blaze-html style ReactJS binding for Haskell using GHCJS☆108Jul 30, 2016Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Jul 3, 2021Updated 4 years ago
- A Livecoding Playground for Room-Scale VR☆129Mar 28, 2017Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- do-notation for Category and "Arrow without arr"☆63Mar 17, 2017Updated 9 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Jul 3, 2024Updated last year