GaloisInc / simple-tar

Related projects: ⓘ

• hsyl20 / ghc-studio
  Web frontend for GHC
  ☆12Updated 4 years ago
• vincenthz / ghc-core-html
  Read ghc-core with style. javascript and CSS style.
  ☆13Updated 9 years ago
• MichaelXavier / drifter-postgresql
  PostgreSQL support for the drifter schema migration tool
  ☆12Updated 6 years ago
• schrammc / mnist-idx
  Read and write data in the IDX format used in e.g. the MNIST database
  ☆9Updated last year
• 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
• bgamari / ring-buffer
  A concurrent mutable ring-buffer
  ☆12Updated 6 years ago
• nikita-volkov / list-t
  ListT done right
  ☆15Updated 11 months ago
• jship / tao
  Type-level assertion operators
  ☆16Updated 6 years ago
• mpickering / plugin-constraint
  ☆10Updated 6 years ago
• qfpl / dollaridoos
  A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.
  ☆14Updated 6 months ago
• kaizhang / clustering
  fast clustering algorithms
  ☆15Updated 5 years ago
• conal / total-map
  Finitely represented /total/ maps
  ☆15Updated 4 years ago
• m0rphism / printcess
  Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
  ☆14Updated 7 years ago
• DanielG / rts-loader
  Haskell dynamic RTS loader
  ☆13Updated 8 years ago
• mpickering / hashtag-coerce
  A GHC source plugin which detects opportunities to use coerce
  ☆17Updated 6 years ago
• rblaze / bond-haskell
  Bond codegen and library for haskell
  ☆8Updated 7 years ago
• Cognimeta / perdure
  Robust persistence for typed immutable data
  ☆18Updated 7 years ago
• 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
• ivan-m / testbench
  Create unit tests and benchmarks at the same time
  ☆8Updated 5 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• taktoa / ghcjs-electron
  GHCJS FFI bindings to the Electron API (WIP).
  ☆10Updated 7 years ago
• nikita-volkov / vector-builder
  Vector builder
  ☆15Updated 9 months ago
• lpsmith / configurator-ng
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16Updated 5 years ago
• bartavelle / stateWriter
  A RWS like monad without the slow writer stuff
  ☆12Updated last year
• argent0 / haskell-ml-benchmark
  Comparing Different Stochastic Gradien Descent implementations in Haskell against Python
  ☆9Updated 8 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated 11 months ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• jfischoff / are-mutable-references-in-haskell-fast
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Updated 7 years ago