Haskell-mouse

Haskell-mouse's Stars

• nadia-polikarpova/poetry

  6

• konn/equational-reasoning-in-haskell

  Agda-style equational reasoning in Haskell

  Language:Haskell516

• clash-lang/clash-compiler

  Haskell to VHDL/Verilog/SystemVerilog compiler

  Language:Haskell1.4k151

• konn/type-natural

  Type-level well-kinded natural numbers.

  Language:Haskell3312

• pcapriotti/optparse-applicative

  Applicative option parser

  Language:Haskell910116

• AccelerateHS/accelerate-llvm

  LLVM backend for Accelerate

  Language:Haskell15450