bryangarza / qwu

Related projects: ⓘ

• bamos / snowglobe
  Haskell-driven, small-scale web analytics with minimal configuration.
  ☆27Updated 8 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated last year
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆52Updated 8 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆87Updated 2 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 6 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆69Updated 8 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 6 years ago
• takeoutweight / shade
  Interactive, client-side web apps in Haskell
  ☆149Updated 10 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆59Updated 5 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 7 years ago
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 9 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 8 years ago
• fokot / howerpoint
  ☆72Updated 7 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• solatis / haskell-network-anonymous-tor
  An API that wraps around the Tor control port to create ad-hoc hidden services
  ☆10Updated 4 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆90Updated 6 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• ekmett / fractions
  lazy continued fractions
  ☆18Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• jwiegley / coq-pipes
  ☆99Updated 6 years ago