Alternatives and similar repositories for www_haskell-ita_it_website:

Users that are interested in www_haskell-ita_it_website are comparing it to the libraries listed below

• ChrisPenner / selections
  Haskell Package for operating with selections over an underlying functor
  ☆22Updated 4 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 2 weeks ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last week
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• JakobBruenker / curses-idris
  Curses bindings package for Idris
  ☆13Updated 6 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• NorfairKing / nanosmos
  A simple text editor written in Haskell with Brick
  ☆13Updated 6 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 months ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 7 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 3 months ago
• kowainik / membrain
  🧠 Type-safe memory units
  ☆61Updated 4 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• knupfer / chronos
  Benchmarking tool with focus on comparing results.
  ☆16Updated 7 months ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 4 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• Gabriella439 / graph
  Dhall support for directed graphs with labeled vertices
  ☆19Updated 3 years ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 2 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated last year
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 10 months ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 3 years ago