leftaroundabout / Symbolic-math-HaTeX
Convenient Haskell syntax for writing in LaTeX math expressions
☆28Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for Symbolic-math-HaTeX
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- A total recursion scheme library for Dhall☆65Updated last week
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Sort any Traversable container☆41Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- rewrite rules for type-level equalities☆62Updated 7 months ago
- Extensible records for Idris☆26Updated 3 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- ☆39Updated 4 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- A talk☆28Updated 3 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Wailing into the primordial ooze of category theory☆54Updated last week
- ☆28Updated 6 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Priority Search Queues in three different flavors for Haskell☆64Updated 2 months ago