Alternatives and similar repositories for kkkk

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

• ccz181078 / Coq-BB5
  ☆344Updated 3 weeks ago
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 7 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆384Updated 7 months ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• arrterian / nix-env-selector
  Allows switch environment for Visual Studio Code using Nix Package Manager.
  ☆234Updated last month
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated 6 months ago
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆56Updated 4 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆227Updated 2 weeks ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆428Updated 2 weeks ago
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆440Updated last month
• nh2 / static-haskell-nix
  easily build most Haskell programs into fully static Linux executables
  ☆399Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆701Updated 5 months ago
• bradrn / wlhs
  Haskell bindings to wlroots (and libwayland)
  ☆68Updated last year
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆196Updated 2 weeks ago
• yliceee / tex2nix
  Generate texlive nix expressions for documents
  ☆98Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆402Updated 3 weeks ago
• snowleopard / alga
  Algebraic graphs
  ☆747Updated 2 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 3 months ago
• haskell-nix / hnix
  A Haskell re-implementation of the Nix expression language
  ☆810Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆715Updated last week
• Gabriella439 / nix-diff
  Explain why two Nix derivations differ
  ☆442Updated last month
• neldredge / mathgen
  Generate random nonsense math papers
  ☆607Updated 5 years ago
• krebs / retiolum
  retiolum network
  ☆13Updated last month
• comcomUBA / dcubabot
  ☆22Updated last year
• justinwoo / easy-markdown-beamer-pandoc
  Simple things nobody tells you how to do
  ☆22Updated 6 years ago
• howard36 / probase
  An online math contest platform
  ☆22Updated 2 weeks ago
• tweag / jupyenv
  Declarative and reproducible Jupyter environments - powered by Nix
  ☆724Updated this week
• input-output-hk / haskell.nix
  Alternative Haskell Infrastructure for Nixpkgs
  ☆607Updated this week