Alternatives and similar repositories for theresistance:

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

• ndmitchell / hexml
  A bad XML parser
  ☆21Updated 7 months ago
• kolmodin / cabal-install-trace
  Render a log of cabal install as a graph
  ☆10Updated 9 years ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆17Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 4 years ago
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 3 years ago
• haskell-works / hw-rankselect
  ☆18Updated last year
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆16Updated 2 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆31Updated last month
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 4 months ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 5 months ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• gfixler / continou
  Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)
  ☆15Updated 7 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 5 months ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 4 months ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• bts / deferred-substitution
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Updated 6 years ago