mokus0 / polynomialLinks
Haskell library for manipulating and evaluating polynomials
☆20Updated 3 years ago
Alternatives and similar repositories for polynomial
Users that are interested in polynomial are comparing it to the libraries listed below
Sorting:
- ☆17Updated 3 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Dependently typed elimination functions using singletons☆28Updated 8 months ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Updated 8 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- ☆23Updated 8 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 6 months ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 9 months ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- A Haskell library making it easier to write Alex lexers.☆12Updated last week
- "Programs that explain their effects" talk material☆17Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆44Updated 7 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- Better errors when decoding JSON values☆31Updated 5 months ago
- Succinct vectors☆20Updated 6 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 9 years ago
- List monad transformer☆60Updated last year
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- ☆10Updated 9 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Updated 3 weeks ago