A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
☆17Mar 16, 2024Updated last year
Alternatives and similar repositories for dumb-cas
Users that are interested in dumb-cas are comparing it to the libraries listed below
Sorting:
- Make a map of all georeferenced maps on routegadget☆14Aug 4, 2021Updated 4 years ago
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 5 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 2 months ago
- A simple file/directory watcher for Linux and macOS and other BSDs☆13Oct 28, 2023Updated 2 years ago
- Blue Brain Project nixpkgs configuration - Build a brain with Nix☆20May 10, 2022Updated 3 years ago
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 7 years ago
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 5 years ago
- ☆19Jul 31, 2019Updated 6 years ago
- The CIMENT (Gricad-calcul) Nix channel☆20Jan 13, 2020Updated 6 years ago
- Lightweight package providing commonly useful parser combinators☆54Feb 2, 2026Updated last month
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Haskell bindings to SymEngine☆27Aug 17, 2023Updated 2 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- Haskell binding for Gremlin graph query language☆27Jan 8, 2026Updated last month
- Haskell types and instances for decoding GitHub webhook payloads.☆39Sep 12, 2025Updated 5 months ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- GHC prof manipulation script☆32Feb 4, 2024Updated 2 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Sep 8, 2025Updated 5 months ago
- ⏳ my math blog☆30Jan 2, 2026Updated 2 months ago
- Software Development Kit (SDK) for Smart Pendant Extensions☆17Updated this week
- Compile-time string processing utilities, with TypeName resolution and built-in file path manipulation☆14Feb 23, 2026Updated last week
- A faster date and time library based on time☆47Jan 16, 2026Updated last month
- Haskell FFI bindings to CUDA☆80Sep 15, 2025Updated 5 months ago
- Grow procedual art☆37Mar 25, 2025Updated 11 months ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Jun 1, 2023Updated 2 years ago
- Visualize live Haskell data structures in GHCi☆142Apr 7, 2024Updated last year
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- TouchGFX simulator development in Visual Studio Code with CMake☆14Mar 25, 2025Updated 11 months ago
- These source codes are the solutions to my University course problems.☆15Dec 25, 2018Updated 7 years ago
- Extract the heap representation of Haskell values and thunks☆50Jan 6, 2024Updated 2 years ago
- Comprehensive framework to build network actors and distributed applications☆44Mar 14, 2019Updated 6 years ago
- Experimental Haskell machine learning library☆35May 25, 2017Updated 8 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Sep 7, 2024Updated last year
- Where I try code from Haskell (etc) books, articles, etc.☆36Jul 21, 2025Updated 7 months ago
- A base to start writing a tui from☆36Dec 25, 2023Updated 2 years ago
- Experiments with fast term-rewriting in clojure☆64Jul 5, 2015Updated 10 years ago
- Golden test support for Tasty☆42Feb 1, 2026Updated last month
- Resource-AWare Feldspar☆38May 27, 2022Updated 3 years ago