YoEight / rakhana

Related projects: ⓘ

• yav / type-nat-solver
  A plugin for solving numeric constraints in GHC's type-checker
  ☆50Updated 3 years ago
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated last year
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 8 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• jkarni / verdict
  ☆26Updated 8 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• ekmett / tables
  Deprecated because of
  ☆78Updated 8 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 8 years ago
• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 9 years ago
• ekmett / thc
  An experimental "Turbo" Haskell Runtime - Nothing really to see here yet
  ☆17Updated 9 years ago
• abailly / hs-word2vec
  A port of Google's word2vec to Haskell
  ☆26Updated 8 years ago
• freebroccolo / yggdrasil-oldish
  ☆37Updated this week
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 8 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆39Updated 9 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 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
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• chrisdone / ghci-reload-demo
  ☆26Updated this week
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆45Updated 2 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆25Updated last month
• siddharthist / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 7 years ago
• goldfirere / dependent-db
  ☆20Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• associahedron / HoTT-Idris
  ☆63Updated this week