alpacaaa / texLinks
Minimalistic file explorer, written in Haskell.
☆17Updated 7 years ago
Alternatives and similar repositories for tex
Users that are interested in tex are comparing it to the libraries listed below
Sorting:
- Extensible HTTP Web server configured entirely by a yaml file☆25Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A natural transformation package☆16Updated 3 weeks ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.☆23Updated 6 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- List monad transformer☆60Updated last year
- Web Development without programming☆45Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated last week
- Reification of data structures using observable sharing☆30Updated last year
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Updated 8 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 12 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- An approach to user interfaces based in denotational design.☆27Updated 3 years ago
- Formlets for halogen☆30Updated 7 years ago
- Reasonable Haskell default import☆27Updated 3 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Updated 8 years ago
- ☆41Updated 8 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Updated 7 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 6 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24Updated 7 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- SVG loader/serializer for Haskell☆29Updated 2 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 7 years ago
- ☆15Updated 8 years ago
- Standard module for type-level programming in Haskell☆31Updated 6 years ago
- Recursion schemes for Idris☆64Updated 7 years ago