MercuryTechnologies / ada

Related projects ⓘ

Alternatives and complementary repositories for ada

• Kleidukos / boreal
  ☆17Updated this week
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆13Updated 6 months ago
• garnix-io / cradle
  ☆19Updated 2 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆15Updated 2 years ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆19Updated last year
• BeFunctional / haskell-rust-ffi
  ☆13Updated last year
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated 5 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• isovector / ldtk-types
  Types for ldtk
  ☆14Updated 7 months ago
• NorfairKing / dekking
  ☆16Updated last month
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 5 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆21Updated 3 weeks ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 10 months ago
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated last year
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last year
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆17Updated 3 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• haskellari / some
  Existential type.
  ☆36Updated 5 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆46Updated 4 months ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆24Updated 2 years ago
• cachix / hs-opentelemetry-instrumentation-servant
  OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.
  ☆12Updated 3 months ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆31Updated last year
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 2 months ago
• hdgarrood / haskell-incremental-nix-example
  Example to illustrate how to set up incremental Haskell Nix builds
  ☆29Updated 2 years ago
• tilk / vocoder
  Phase vocoder in Haskell
  ☆16Updated 3 years ago
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 4 months ago
• cachix / stamina.hs
  Retrying for humans using Haskell.
  ☆43Updated 9 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆16Updated 2 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 5 months ago