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
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 10 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆45Updated 6 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆59Updated 11 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 11 years ago
• 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
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆29Updated 6 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 9 years ago
• mgrabmueller / harpy
  Runtime code generation for x86 machine code
  ☆26Updated 2 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated last month
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆56Updated last year
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆140Updated 3 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 10 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Updated 6 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆45Updated last year
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆80Updated 11 years ago