Alternatives and similar repositories for kkkk:

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

• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• HY-TKTL / TKT20007-Ohjelmistotuotantoprojekti
  Ohjelmistotuotantoprojektin kurssisivu
  ☆11Updated last month
• Surowizator / tcstorment
  ☆19Updated 2 weeks ago
• sio2project / oioioi
  ☆172Updated this week
• PermutaTriangle / Permuta
  A native Python library for permutation pattern research
  ☆16Updated last month
• antonxy / h264_glitcher
  ☆72Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆157Updated last month
• TobleMiner / shoreline
  A very fast (200+ Gbit/s) pixelflut server written in C with full IPv6 support
  ☆76Updated 2 years ago
• MrBlackRocket / LaTeX-Handout-Vorlage
  Eine Vorlage für ein Handout (Grundregel: kein Referat ohne Handout)
  ☆8Updated 8 years ago
• TobleMiner / sturmflut
  A FAST (80+ Gbit/s) pixelflut client with full IPv6 and animation support
  ☆52Updated 10 months ago
• programming-team-code / programming_team_code
  ucf fanclub
  ☆17Updated this week
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆198Updated 8 years ago
• chshersh / iris
  🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
  ☆188Updated last year
• naumazeredo / competitive-programming
  ☆11Updated 4 years ago
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆373Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆210Updated 3 weeks ago
• osue-tuwien / exercises
  OSUE exercises
  ☆26Updated 2 years ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆400Updated 2 months ago
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 6 years ago
• snowleopard / alga
  Algebraic graphs
  ☆737Updated 11 months ago
• srid / haskell-template
  Haskell project template using Nix + Flakes + VSCode (HLS)
  ☆244Updated 2 weeks ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 2 years ago
• schlangenprogrammiernacht / spn-meta
  Meta repository containing wrapper scripts and docs for SPN
  ☆15Updated last year
• rad1o / f1rmware
  f1rmware for the rad1o
  ☆176Updated 2 years ago
• WilliamYue37 / Code-Library
  Code Library for use in programming competitions (not all code is mine)
  ☆8Updated 3 years ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆15Updated 12 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆253Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 6 months ago