plow-technologies / ble

Related projects ⓘ

Alternatives and complementary repositories for ble

• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆18Updated 9 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆31Updated 9 months ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• mrkgnao / pebble
  A toy symbolic algebra / calculus library in Haskell
  ☆12Updated 9 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆19Updated this week
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• mpickering / simple-language-client
  A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface
  ☆26Updated 4 years ago
• mpickering / old-ghc-nix
  Old and New GHC
  ☆21Updated last year
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 5 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆22Updated 3 months ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• mstksg / servant-cli
  Generate a command line client from a servant API
  ☆29Updated 10 months ago
• k0001 / di
  Easy and powerful typeful logging without monad towers, in Haskell.
  ☆26Updated 6 months ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated this week
• int-index / union
  Extensible type-safe unions for Haskell
  ☆32Updated 2 months ago
• mstksg / nonempty-containers
  Efficient non-empty variants of containers data types, with full API
  ☆25Updated 4 months ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• freckle / blammo
  Batteries-included structured logging library
  ☆29Updated 2 months ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week