Home of the fast-arithmetic library for number theory in ATS and Haskell.
☆25Aug 1, 2024Updated last year
Alternatives and similar repositories for hs-ats
Users that are interested in hs-ats are comparing it to the libraries listed below
Sorting:
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 6 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and …☆12Feb 25, 2018Updated 8 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Show, plot and compare benchmark results☆16Oct 28, 2025Updated 4 months ago
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 6 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- ☆25Jun 10, 2023Updated 2 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- Perceptual hashing command-line tool☆19Jan 28, 2026Updated last month
- Free Algebras in Haskell☆38Aug 29, 2024Updated last year
- Principled and efficient binary serialization☆62Oct 11, 2025Updated 4 months ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Aug 14, 2018Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 7 years ago
- join and meet semilattices, lower and upper bounds.☆48Sep 22, 2025Updated 5 months ago
- Haskell simulations of spacecraft manoeuvres☆19Jun 24, 2020Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- command-line Haskell with 'ghc -e'☆22Aug 11, 2017Updated 8 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 7 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Typeclass for array types☆19Apr 7, 2025Updated 10 months ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- An AI for Tetris on Jstris☆11Dec 25, 2019Updated 6 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆12Aug 1, 2016Updated 9 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 7 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated 7 months ago