akc / hops
HOPS - Handy Operations on Power Series
☆8Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for hops
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- lazy continued fractions☆18Updated 9 years ago
- Type-level descriptions of composable transformations for use with DerivingVia☆10Updated 6 years ago
- Convert data to and from a natural number representation☆13Updated 3 years ago
- Example usage of the Haskell C FFI with hsc2hs☆11Updated 6 years ago
- A small-step semantics for Core☆10Updated 4 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆21Updated 2 years ago
- Web based opetopic editor☆34Updated 3 weeks ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Agda-style equational reasoning in Haskell☆51Updated 5 months ago
- Programmatically create new instances using core-to-core plugins☆12Updated 3 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆16Updated 7 years ago
- Linear map categories in Agda☆5Updated last year
- Decision procedures for Presburger arithmetic in Haskell☆29Updated 4 years ago
- evaluates and pretty-prints truth tables for propositional logic expressions☆11Updated 6 years ago
- DIY Markov Chains.☆23Updated this week
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- Haskell library of data types and calculations for positions on planet Earth☆18Updated 4 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 3 months ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Haskell geometry library☆17Updated 4 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Revised Omega-categorical Typechecker☆24Updated last week
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆13Updated 7 years ago
- ☆23Updated last year