Daniel-Diaz / haskintex
Haskell Evaluation inside of LaTeX code.
☆22Updated last year
Alternatives and similar repositories for haskintex:
Users that are interested in haskintex are comparing it to the libraries listed below
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- A servant client written for GHCJS☆12Updated 8 years ago
- 📤 defer instance resolution until runtime☆18Updated 5 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago
- Quake 3 map viewer in Haskell using GPipe☆31Updated 7 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 8 years ago
- GHCJS example code☆17Updated 8 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- FoldMap lists☆12Updated last year
- ☆22Updated 7 years ago
- A HUnit/hspec assertion to verify that an expression does not typecheck☆42Updated 5 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Updated 5 years ago
- Verified left pad☆19Updated 6 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 8 months ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- ☆19Updated 7 years ago
- Pipe the GHC eventlog stream to a UNIX domain socket☆15Updated last year
- ghc --make reimplemented with Shake☆30Updated last year
- ☆21Updated 2 years ago
- Refactoring tool for .cabal files☆8Updated 7 years ago
- Relational algebra☆25Updated 8 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- A Cofunctor is a structure from category theory dual to Functor☆15Updated 6 years ago
- Massive Hackage CI for building Hackage package versions against multiple GHC versions☆24Updated 3 years ago