Alternatives and similar repositories for fizzbuzz-i

Users that are interested in fizzbuzz-i are comparing it to the libraries listed below

• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆43Updated last month
• 0xd34df00d / hsqoi
  Haskell implementation of the QOI image format
  ☆17Updated last year
• cblp / funlangs
  Functional languages index
  ☆41Updated 5 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 11 months ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆48Updated 4 months ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• portnov / ghcprofview-hs
  GHC .prof files viewer
  ☆19Updated 2 years ago
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated 2 years ago
• sequents / code
  Proof theory seminar
  ☆34Updated 4 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• andorp / IdrisExtSTGCodegen
  ☆25Updated 2 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 6 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆26Updated 6 months ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆34Updated 2 years ago
• ollef / rock
  Build system
  ☆123Updated last year
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated 2 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• klapaucius / vector-hashtables
  ☆35Updated last year
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 7 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆47Updated 4 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 11 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆33Updated 2 years ago
• graninas / stm-free
  STM on Free monads
  ☆23Updated 7 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 8 months ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 2 years ago