Alternatives and similar repositories for tex

Users that are interested in tex are comparing it to the libraries listed below

• ChrisPenner / dumbwaiter
  Extensible HTTP Web server configured entirely by a yaml file
  ☆25Updated 8 years ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆22Updated 7 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated last year
• owickstrom / purescript-leffe
  The Labeled Effects Extension to PureScript
  ☆21Updated 8 years ago
• justinwoo / real-world-purescript-workshop-2019
  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
• ocharles / dhallql
  Can we write a querying language with Dhall? Let's find out!
  ☆63Updated 7 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 12 years ago
• fpco / halogen-form
  Formlets for halogen
  ☆30Updated 7 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 4 years ago
• ChrisPenner / selections
  Haskell Package for operating with selections over an underlying functor
  ☆22Updated 5 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 9 years ago
• hoodunit / purescript-nix-bootstrap
  Example project for developing PureScript projects with Nix
  ☆19Updated 7 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 3 years ago
• owickstrom / fast-and-fearless-evolution-of-server-side-webapps
  Slides and code examples for a talk
  ☆22Updated 8 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago
• justinwoo / purescript-web-audio-player-demo
  A web audio player demo using Halogen for skipping in different increments
  ☆20Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 5 years ago
• mrkkrp / markkarpov.com
  My personal web site
  ☆17Updated last month
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 3 years ago
• parsonsmatt / persistent-typed-db
  A type and helpers for typesafe SQL access in the presence of many databases.
  ☆23Updated 7 months ago
• hdgarrood / solitaire
  Basic Solitaire game in PureScript, with both web and terminal UIs
  ☆20Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 3 years ago
• kowainik / slist
  ♾️ Sized list
  ☆47Updated last year
• mchaver / servant-auth-and-elm-example
  ☆15Updated 7 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• parsonsmatt / yesod-minimal
  A tiny, single-file yesod app that can be used as a base for reproducing bugs
  ☆14Updated 3 years ago