A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering
☆60Jul 5, 2026Updated 2 months ago
Alternatives and similar repositories for haskell-nota
Users that are interested in haskell-nota are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The ultimate UNIVERSAL syntax color theme generator that let's you build your color scheme in just one file and compile for a wide range …☆44Nov 16, 2025Updated 10 months ago
- CSS Code Formatter Engine that implements the Kary Coding Standards☆12Dec 7, 2022Updated 3 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- A KFCS plugin for Visual Studio Code, So that you can shape anything into KFCS section comment with just ⌘y and ⌘l☆28Oct 12, 2025Updated 11 months ago
- ☆18Jul 24, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆17Jun 24, 2020Updated 6 years ago
- TextGraphic is a framework for creating Textual Graphics. It provides layers, styling, rich color, text justification, layouts, tables, v…☆112Aug 3, 2021Updated 5 years ago
- [EXPERIMENTAL] A Powerful, Beautiful, Programmable and Rich Graph Editor for Students, Data Scientists, Mathematicians and anyone who wan…☆36Jan 18, 2021Updated 5 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Apr 25, 2018Updated 8 years ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- QuickLift frontend in PureScript☆15Mar 25, 2016Updated 10 years ago
- Automatic type class law checking.☆24May 2, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- A lightweight flask-like HTTP framework.☆13Aug 12, 2026Updated last month
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 8 years ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 10 months ago
- Tensors in Haskell☆40Jul 20, 2026Updated 2 months ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell bindings to the Graphviz toolkit☆64Sep 28, 2022Updated 3 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 9 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- High level, generic library for interrogative user interfaces in Haskell☆43Jun 18, 2021Updated 5 years ago
- Haskell Configuration Loader☆19Jul 20, 2026Updated 2 months ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- ☆44Jan 30, 2021Updated 5 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆102May 9, 2017Updated 9 years ago
- Media processing pipeline proof of concept using bucklescript and serverless☆12May 16, 2018Updated 8 years ago
- A bank application for the terminal that uses linked lists, binary search, binary trees, and heap sort for the data structures.☆35Nov 14, 2025Updated 10 months ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Jul 3, 2021Updated 5 years ago
- An extremely simple static blog generator made in Haskell☆21Jul 29, 2022Updated 4 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago