GaloisInc / simple-tar

Related projects ⓘ

Alternatives and complementary repositories for simple-tar

• schrammc / mnist-idx
  Read and write data in the IDX format used in e.g. the MNIST database
  ☆9Updated last year
• hsyl20 / ghc-studio
  Web frontend for GHC
  ☆12Updated 4 years ago
• MichaelXavier / drifter-postgresql
  PostgreSQL support for the drifter schema migration tool
  ☆12Updated 6 years ago
• ranjitjhala / haddock-annot
  Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.
  ☆12Updated 8 years ago
• glutamate / datasets
  UCI Datasets for Haskell
  ☆11Updated 7 years ago
• mpickering / hashtag-coerce
  A GHC source plugin which detects opportunities to use coerce
  ☆17Updated 6 years ago
• conal / total-map
  Finitely represented /total/ maps
  ☆15Updated 4 years ago
• mpickering / plugin-constraint
  ☆10Updated 6 years ago
• rblaze / bond-haskell
  Bond codegen and library for haskell
  ☆8Updated 7 years ago
• vincenthz / ghc-core-html
  Read ghc-core with style. javascript and CSS style.
  ☆13Updated 9 years ago
• jship / tao
  Type-level assertion operators
  ☆16Updated 6 years ago
• qfpl / dollaridoos
  A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.
  ☆14Updated 8 months ago
• nikita-volkov / list-t
  ListT done right
  ☆15Updated last year
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• taktoa / ghcjs-electron
  GHCJS FFI bindings to the Electron API (WIP).
  ☆10Updated 7 years ago
• bgamari / ring-buffer
  A concurrent mutable ring-buffer
  ☆12Updated last month
• nikita-volkov / vector-builder
  Vector builder
  ☆15Updated 11 months ago
• dmjio / c-ffi-example
  Example usage of the Haskell C FFI with hsc2hs
  ☆11Updated 6 years ago
• lpsmith / configurator-ng
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16Updated 5 years ago
• Gabriella439 / Haskell-Index-Core-Library
  Indexed Types
  ☆13Updated 2 years ago
• kaizhang / clustering
  fast clustering algorithms
  ☆15Updated 5 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• DanielG / rts-loader
  Haskell dynamic RTS loader
  ☆13Updated 8 years ago
• deepfire / reflex-glfw
  A GLFW-b adapter for the Haskell Reflex FRP implementation.
  ☆10Updated 5 years ago
• DanielSchuessler / th-expand-syns
  Expands type synonyms in Template Haskell ASTs
  ☆11Updated 7 months ago
• m0rphism / printcess
  Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
  ☆14Updated 7 years ago
• ivan-m / testbench
  Create unit tests and benchmarks at the same time
  ☆8Updated 5 years ago
• nikita-volkov / focus
  A general abstraction for manipulating elements of container data structures
  ☆11Updated last year
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• dzhus / static-text
  Lists, Texts, ByteStrings and Vectors with type-encoded length
  ☆10Updated 3 years ago