cchalmers / pcg-random

Related projects: ⓘ

• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated 10 months ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated last year
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆77Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated last month
• mgrabmueller / harpy
  Runtime code generation for x86 machine code
  ☆25Updated 11 months ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆94Updated 8 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• ekmett / fractions
  lazy continued fractions
  ☆18Updated 9 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆26Updated 4 years ago
• khumba / hoppy
  ☆25Updated this week
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• ChrisKuklewicz / regex-tdfa
  A new all Haskell "tagged" DFA regex engine, inspired by libtre
  ☆42Updated 4 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 8 years ago
• Twinside / FontyFruity
  An haskell TrueType file parser
  ☆36Updated last year
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• Mokosha / Lambency
  A Real-Time Rendering framework written in Haskell
  ☆53Updated 8 months ago
• acowley / GLUtil
  Utility functions for working with OpenGL BufferObjects, GLSL shaders, and textures.
  ☆40Updated 4 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• tomlokhorst / language-cil
  Manipulating Common Intermediate Language AST in Haskell
  ☆20Updated 7 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• chetant / LibClang
  Haskell FFI to libclang
  ☆58Updated 7 years ago
• divipp / x86-64
  ☆98Updated this week
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 5 years ago
• uhc / uhc
  Utrecht Haskell Compiler
  ☆42Updated 12 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆34Updated 9 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆59Updated 5 years ago