keathley / pointfree.io
A web site for converting haskell code into pointfree haskell code
☆160Updated last year
Related projects: ⓘ
- Maintenance of the pointfree Hackage package.☆144Updated 4 months ago
- The Happy parser generator for Haskell☆276Updated this week
- The home of the Glamorous Glambda interpreter☆219Updated 2 months ago
- A modern, extensible and well-documented prettyprinter.☆293Updated 4 months ago
- A Haskell library for line input in command-line programs.☆221Updated 2 months ago
- Fake dependent types in Haskell using singletons☆286Updated last month
- Visualize live Haskell data structures in GHCi☆134Updated 5 months ago
- Auto generate a stack or cabal multi component hie.yaml file☆201Updated 6 months ago
- Highlighting support for the Haskell language in visual studio code.☆95Updated 5 months ago
- Literate Haskell support for Markdown☆134Updated last week
- Number theory: primes, arithmetic functions, modular computations, special sequences☆146Updated 2 months ago
- Haskell library for space- and time-efficient operations over Unicode text.☆406Updated this week
- Total Parser Combinators in Agda☆123Updated last year
- A lexical analyser generator for Haskell☆296Updated 2 months ago
- The Monad Transformer Library☆362Updated last month
- Runtime Haskell interpreter☆260Updated 3 weeks ago
- Standard library for linear types in Haskell.☆333Updated this week
- Assorted concrete container types☆315Updated this week
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆360Updated last month
- The Haskell LaTeX library.☆199Updated 11 months ago
- Floskell is a flexible Haskell source code pretty printer.☆178Updated 2 months ago
- Examples of Dependently-typed programs in Haskell☆301Updated last year
- Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations☆435Updated 2 months ago
- Agda interaction in vim☆130Updated 2 years ago
- agda-mode on VS Code☆169Updated 2 weeks ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆193Updated last year
- A re-implementation of weeder using HIE files☆165Updated last week
- An implementation of Python's doctest for Haskell☆371Updated last week
- pretty-printer for Haskell data types that have a Show instance☆243Updated 10 months ago
- A lightweight (but compatible with ‘lens’) lenses library☆286Updated 5 months ago