Daniel-Diaz / haskintex
Haskell Evaluation inside of LaTeX code.
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for haskintex
- ☆21Updated last year
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Library for Nix expression dependency generation☆12Updated 9 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- Pure Haskell client for the Mandrill JSON API☆17Updated last week
- high-level stream sockets in haskell☆17Updated 11 months ago
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago
- Experimental implementation of generic record subtyping☆18Updated 6 months ago
- Fuzzy string search in Haskell☆14Updated 10 months ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- a lightweight CSS DSL for haskell☆23Updated 4 years ago
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- A faster date and time library based on time☆46Updated last year
- Mark test cases as expected-failure☆22Updated 3 years ago
- Haskell space profiling toolset☆14Updated 6 years ago
- A servant client written for GHCJS☆12Updated 7 years ago
- FoldMap lists☆12Updated last year
- A toy symbolic algebra / calculus library in Haskell☆12Updated 9 years ago
- Integration of the Warp webserver with Let's Encrypt☆18Updated 7 years ago
- Deep evaluation of data structures without NFData☆11Updated 9 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Dependently typed convolutional neural networks☆34Updated 7 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated 6 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- A text editor zipper libary☆17Updated last year
- parser for config files, shell variables, command line args.☆22Updated 8 years ago