Daniel-Diaz / haskintexLinks
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
Sorting:
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Updated 6 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Updated 9 years ago
- A servant client written for GHCJS☆12Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Text-based interactive GHC .prof viewer☆48Updated 2 years ago
- An experiment in re-implementing big integers in Haskell.☆40Updated 2 years ago
- ☆45Updated 3 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Updated last month
- ghc --make reimplemented with Shake☆32Updated last year
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Monadic capabilities with late binding☆28Updated last year
- Example how to link Haskell programs very quickly with lld☆48Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- An experimental intermediate language for GHC☆36Updated 7 years ago
- A HUnit/hspec assertion to verify that an expression does not typecheck☆42Updated 6 years ago
- Py.test style assertions in Haskell☆66Updated 7 years ago
- General tools for Neil☆38Updated 6 months ago
- Verified left pad☆19Updated 7 years ago
- Set the version bounds of dependencies in a cabal file☆67Updated 10 months ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Quake 3 map viewer in Haskell using GPipe☆31Updated 7 years ago
- Support for file uploads in multipart/form-data for servant☆40Updated last year
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 8 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 weeks ago