Alternatives and similar repositories for s-cargot

Users that are interested in s-cargot are comparing it to the libraries listed below

• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 3 months ago
• esoeylemez / netwire
  FRP library
  ☆63Updated 7 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 8 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆72Updated 8 months ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆78Updated 12 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆118Updated last month
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• sseefried / open-epidemic-game
  A game about exponential growth written in Haskell
  ☆31Updated 9 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆51Updated 2 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated last year
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆40Updated last year
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• esoeylemez / rapid
  Rapid prototyping with GHCi
  ☆58Updated 7 years ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆53Updated last year
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• eraserhd / Idris-json
  Formally verified JSON parser
  ☆15Updated 7 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆71Updated 2 months ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 5 months ago
• nikita-volkov / neat-interpolation
  A quasiquoter for neat and simple multiline text interpolation
  ☆56Updated last year
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago