GaloisInc / xml

Related projects ⓘ

Alternatives and complementary repositories for xml

• UnkindPartition / temporary
  Portable temporary file and directory support for Windows and Unix.
  ☆24Updated 2 years ago
• dreixel / generic-deriving
  ☆44Updated last month
• glguy / config-value
  Simple, layout-based, unambiguous configuration language implemented in Haskell
  ☆18Updated 3 weeks ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 7 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 2 years ago
• haskell / directory
  Platform-independent library for basic file system operations
  ☆58Updated this week
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• nomeata / tasty-expected-failure
  Mark test cases as expected-failure
  ☆22Updated 3 years ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated 2 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• expipiplus1 / vector-sized
  ☆33Updated last month
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• fendor / hsimport
  Extend the import list of a Haskell source file
  ☆38Updated 3 years ago
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆18Updated 9 years ago
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 5 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated last week
• alpheccar / HPDF
  Haskell library for PDF generation (graphics and typesetting)
  ☆26Updated 5 years ago
• vincenthz / hit
  library to manipulate git repositories in haskell (no bindings)
  ☆49Updated 5 years ago
• emilaxelsson / trackit
  A command-line tool for live monitoring
  ☆25Updated 2 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• ekmett / void
  Provides Data.Void, which is in base since ghc 7.8 or so
  ☆19Updated 2 years ago
• meteficha / Hipmunk
  Haskell binding for Chipmunk, 2D physics engine.
  ☆22Updated 9 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆33Updated last year
• blamario / monoid-subclasses
  Subclasses of Monoid with a solid theoretical foundation and practical purposes
  ☆33Updated last month
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆38Updated last year
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆28Updated last year