alpacaaa / texLinks
Minimalistic file explorer, written in Haskell.
☆17Updated 6 years ago
Alternatives and similar repositories for tex
Users that are interested in tex are comparing it to the libraries listed below
Sorting:
- Basic Solitaire game in PureScript, with both web and terminal UIs☆20Updated 5 years ago
- A natural transformation package☆16Updated 4 months ago
- The Event type, extracted from purescript-behaviors☆22Updated 4 years ago
- Cursor data and manipulation☆21Updated last month
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Updated 7 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- List monad transformer☆60Updated last year
- Leibniz Equality☆19Updated 7 years ago
- ☆21Updated 2 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 3 years ago
- Reification of data structures using observable sharing☆29Updated 8 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- A compatibility library for `hedgehog` and `fakedata`☆16Updated last month
- Haskell types and parsers for software version numbers.☆21Updated 5 months ago
- A library for interactively creating graphics visualizations☆22Updated 5 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- A library for applying a row of rules for validation to refine a value☆12Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated last month
- Experimental polykinds implementation☆15Updated 5 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- Formlets for halogen☆30Updated 6 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 8 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 5 months ago
- A demo of Functional Reactive Programming in Purescript☆11Updated 7 years ago
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago