klangner / radium

Related projects: ⓘ

• adamgundry / uom-plugin
  Units of measure as a GHC typechecker plugin
  ☆30Updated last year
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 9 years ago
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆14Updated 8 years ago
• Michaelt293 / isotope
  Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…
  ☆16Updated 4 years ago
• paf31 / Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
  Embedding a Full Linear Lambda Calculus in Haskell
  ☆8Updated 9 years ago
• Rufflewind / config
  System configuration and utilities for Linux ⚙
  ☆12Updated 4 months ago
• mlite / hLLVM
  ☆24Updated this week
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 6 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 6 years ago
• ekmett / thc
  An experimental "Turbo" Haskell Runtime - Nothing really to see here yet
  ☆17Updated 9 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 2 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 7 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 6 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated last week
• ttuegel / autonix-deps
  Library for Nix expression dependency generation
  ☆12Updated 9 years ago
• tonyday567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• chrisdone / gitback
  ☆10Updated this week
• soenkehahn / dead-code-detection
  ☆25Updated 8 years ago
• roelvandijk / base-unicode-symbols
  Unicode alternatives for common functions and operators
  ☆36Updated 2 years ago
• johnfn / ghci-in-a-new-dress
  ghci with autocomplete, calltips, colors with type information, variable inspector, and more.
  ☆21Updated 12 years ago
• ejlilley / AbstractMusic
  music!
  ☆23Updated 7 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• abhinav / sandman
  Cabal Sandbox manager
  ☆14Updated 8 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated last year
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆27Updated 4 years ago
• thoughtbot / distance-of-time
  Generate readable distances between times.
  ☆10Updated 2 years ago