Daniel-Diaz / hatex-guide
The HaTeX User's Guide
☆21Updated 3 years ago
Alternatives and similar repositories for hatex-guide:
Users that are interested in hatex-guide are comparing it to the libraries listed below
- Automation of Haskell package release process.☆31Updated last year
- Text-based interactive GHC .prof viewer☆48Updated last year
- CI assistant☆46Updated 3 weeks ago
- Serializable closures for distributed programming.☆64Updated last year
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Kleene algebra, regular expressions☆32Updated last year
- ☆34Updated 3 years ago
- Universal build and CI testing for Haskell packages☆91Updated 2 months ago
- Dual Traversable☆42Updated last year
- type level sets☆67Updated 5 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- rewrite rules for type-level equalities☆62Updated 8 months ago
- Maps using values' monoidal structure during merging☆42Updated last month
- Provide embedded swagger UI for servant and swagger☆46Updated this week
- Reverse proxy that handles authentication☆38Updated 6 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 2 weeks ago
- Some useful control operators for looping☆47Updated 4 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 10 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- Tools for programming with ConstraintKinds in GHC☆71Updated 3 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 5 months ago
- ☆77Updated 2 years ago
- An OS written in Idris (eventually...)☆19Updated 9 years ago
- Generate Nix build instructions from a Stack file☆49Updated 3 years ago
- 👅 Parse Haskell Language Extensions☆48Updated last month
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- GHC language extensions table☆48Updated 3 weeks ago
- Experimental, user-contributed effects and interpreters for polysemy☆71Updated last year
- Classes for types where we know all the values☆39Updated 2 weeks ago