cchalmers / pcg-randomLinks
Haskell interface to the pcg random number generator
☆41Updated last year
Alternatives and similar repositories for pcg-random
Users that are interested in pcg-random are comparing it to the libraries listed below
Sorting:
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Simple lambda prover☆24Updated 9 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- A Real-Time Rendering framework written in Haskell☆54Updated last year
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated last year
- A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library☆44Updated 9 months ago
- VM and tracing JIT for Haskell (work in progress)☆78Updated 10 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 3 years ago
- Runtime code generation for x86 machine code☆26Updated last year
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆43Updated 5 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Utrecht Haskell Compiler☆42Updated 13 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32Updated 6 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 3 weeks ago
- Named parameters (keyword arguments) for Haskell☆95Updated 3 months ago
- Brent's PhD thesis.☆64Updated 9 years ago
- A bad XML parser☆21Updated 9 months ago
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago