Alternatives and similar repositories for pikross

Users that are interested in pikross are comparing it to the libraries listed below

• stephbc / TOTEM
  TOTEM: an app for all your nights out
  ☆11Updated last year
• gkmurray124 / tinydeskplayer
  ☆10Updated 3 years ago
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆480Updated last week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆183Updated 3 months ago
• qfpl / reflex-realworld-workshop
  A guided workshop through implementing the realworld demo app in obelisk.
  ☆14Updated 5 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆182Updated 3 weeks ago
• yairchu / macos11-haskell-workaround
  Make Haskell work on macOS again!
  ☆33Updated 4 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆120Updated 3 years ago
• visortelle / haskell-spotlight
  VSCode extension for Haskell
  ☆110Updated 11 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated 3 weeks ago
• dagit / happy-plus-alex
  Template for quickly and easily combining happy and alex
  ☆48Updated 10 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 5 months ago
• haskellfoundation / volunteering
  Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.
  ☆25Updated 2 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104Updated 3 years ago
• pointfree-wasm / pointfree-wasm.github.io
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Updated last year
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆267Updated this week
• re-xyr / cleff
  Fast and concise extensible effects
  ☆109Updated 2 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆307Updated 3 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆411Updated this week
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆253Updated last month
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆148Updated 3 weeks ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆235Updated last year
• amesgen / jsaddle-wasm
  JSaddle integration for the GHC Wasm backend
  ☆20Updated 2 weeks ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆227Updated 4 months ago
• sayo-hs / heftia
  A theory‑backed, ultra type‑safe algebraic effects
  ☆184Updated 4 months ago
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆148Updated this week
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆111Updated last year
• grin-compiler / haskell-code-spot
  Visual tool to spot odd runtime behaviour of Haskell programs.
  ☆109Updated 4 years ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆106Updated 2 months ago
• Nike-Inc / hal
  hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.
  ☆244Updated last year