wavewave / hoodle

Related projects ⓘ

Alternatives and complementary repositories for hoodle

• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆104Updated 3 weeks ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆138Updated 3 weeks ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆139Updated 2 months ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆206Updated 5 years ago
• abarbu / matplotlib-haskell
  Haskell bindings for Python's Matplotlib
  ☆85Updated 7 months ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 4 years ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆164Updated 7 months ago
• wavewave / nix-build-ghc-android
  ghc-android build using nix
  ☆68Updated 4 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆99Updated 11 months ago
• schiegl / QuickPlot
  Quick and easy data visualizations with Haskell
  ☆83Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆138Updated 9 months ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 6 months ago
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆135Updated 7 months ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• UU-ComputerScience / uhc
  ☆136Updated 3 years ago
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆141Updated last year
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆109Updated 7 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 2 years ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆202Updated last month
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆134Updated last year
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 7 years ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆180Updated 4 months ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 4 years ago