Alternatives and similar repositories for smudge

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

• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆137Updated 4 months ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆204Updated 4 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆102Updated last year
• paf31 / haskell-slides
  ☆50Updated 10 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated 2 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• owickstrom / motor
  Type-safe effectful state machines in Haskell
  ☆96Updated 5 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 2 weeks ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 6 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 9 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 8 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 10 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated last year
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆140Updated 8 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆167Updated last year
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆97Updated 3 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆107Updated last month
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 3 weeks ago
• rudymatela / fitspec
  refine properties for testing Haskell programs
  ☆76Updated 8 months ago
• shayan-najd / MiniFeldspar
  ☆23Updated 10 years ago
• ChrisPenner / eve
  An extensible event-driven application framework in haskell
  ☆110Updated 4 years ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆70Updated 5 years ago
• ku-fpg / haskino
  Our Arduino experiments
  ☆75Updated 7 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆129Updated 5 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 4 years ago