Daniel-Diaz / hatex-guide
The HaTeX User's Guide
☆21Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for hatex-guide
- a monadic graph library☆39Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- Automation of Haskell package release process.☆31Updated last year
- The Str signature and implementations☆21Updated 7 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Principled and efficient binary serialization☆60Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Provide embedded swagger UI for servant and swagger☆46Updated 4 months ago
- Order theory☆23Updated last year
- ☆33Updated last month
- Proposals for the Haskell Ecosystem☆51Updated 5 years ago
- Quickcheck Properties for common typeclasses☆34Updated 6 months ago
- Type-safe time units in Haskell☆49Updated 10 months ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- CI assistant☆46Updated 2 weeks ago
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Dual Traversable☆41Updated last year
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- ☆34Updated 3 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Haskell 98 Profunctors☆70Updated 5 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago