mokus0 / polynomial
Haskell library for manipulating and evaluating polynomials
☆19Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for polynomial
- Dependently typed elimination functions using singletons☆28Updated last month
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Folds and sequence algebras☆18Updated last year
- ☆18Updated 10 months ago
- Quiver stream processing library☆15Updated 8 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- Interval Arithmetic☆27Updated 3 weeks ago
- Kleene algebra, regular expressions☆32Updated last year
- Bring fusion to everyone☆13Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- Haskell routes using dependent types☆10Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- A nullary type class for partial functions☆15Updated 6 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Various cabal query commands wrapped in a simple CLI tool☆18Updated 7 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- CLI tool for Hackage☆26Updated 4 months ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆14Updated 9 years ago
- ☆10Updated 8 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- phantom types☆37Updated 2 months ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 2 months ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Proof checker for propositional logic☆16Updated 7 years ago