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 9 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last month
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• mgrabmueller / harpy
  Runtime code generation for x86 machine code
  ☆26Updated last year
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• UU-ComputerScience / uhc
  ☆138Updated 4 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆140Updated 3 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 10 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 6 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 5 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• velveteer / hermes
  A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library
  ☆46Updated 2 weeks ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 10 years ago
• smichal / hs-logic
  A simple library for Haskell that allows relational programming.
  ☆46Updated 13 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated last month
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 9 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 6 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago