Alternatives and similar repositories for pcg-random

Users that are interested in pcg-random are comparing it to the libraries listed below

• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 10 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆80Updated 11 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆29Updated 6 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated 2 months ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago
• mgrabmueller / harpy
  Runtime code generation for x86 machine code
  ☆26Updated 2 years ago
• UU-ComputerScience / uhc
  ☆138Updated 4 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆45Updated 6 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆140Updated 3 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• Mokosha / Lambency
  A Real-Time Rendering framework written in Haskell
  ☆54Updated 2 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 8 months ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Updated 6 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Updated 8 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago
• smichal / hs-logic
  A simple library for Haskell that allows relational programming.
  ☆46Updated 13 years ago
• VictorTaelin / parallel_lambda_computer_tests
  learning cuda
  ☆19Updated 9 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago