Michaelt293 / isotope

Related projects: ⓘ

• jonascarpay / apecs-physics
  2D physics and rendering for apecs
  ☆45Updated 5 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated 10 months ago
• diagrams / diagrams-pgf
  A PGF backend for diagrams
  ☆14Updated last week
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 6 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆34Updated 4 months ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆17Updated 9 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 3 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 9 months ago
• agustinmista / mdviewer
  Minimalistic Markdown viewer/converter with built-in Css stylesheets support.
  ☆26Updated 7 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• glguy / config-value
  Simple, layout-based, unambiguous configuration language implemented in Haskell
  ☆17Updated 3 months ago
• ethercrow / yi-config
  ☆15Updated 5 years ago
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆46Updated 11 months ago
• haskell-boxes / boxes
  A pretty-printing library for laying out text in two dimensions, using a simple box model.
  ☆37Updated 3 years ago
• phadej / acme-kmett
  A collection of Edward Kmett's packages in a single repository
  ☆15Updated 3 years ago
• mrkkrp / path-io
  Operations on files and directories with typed paths
  ☆30Updated 4 months ago
• composewell / packcheck
  Universal build and CI testing for Haskell packages
  ☆91Updated 2 months ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 7 years ago
• shachaf / ghc-core
  ☆39Updated 6 years ago
• emilaxelsson / trackit
  A command-line tool for live monitoring
  ☆25Updated 2 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 6 years ago
• zerobuzz / configifier
  parser for config files, shell variables, command line args.
  ☆22Updated 8 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• meteficha / Hipmunk
  Haskell binding for Chipmunk, 2D physics engine.
  ☆22Updated 9 years ago
• dmwit / universe
  Classes for types where we know all the values
  ☆37Updated 4 months ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated last year
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago