Alternatives and similar repositories for kkkk

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

• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆27Updated 5 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆920Updated 9 years ago
• Draradech / NewtonWars
  NewtonWars is a space battle game. Gravity is the main theme, influencing the path of your missiles around numerous planets on the battle…
  ☆90Updated last year
• sio2project / oioioi
  ☆180Updated this week
• ccz181078 / Coq-BB5
  ☆358Updated 4 months ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆30Updated 5 months ago
• comcomUBA / dcubabot
  ☆22Updated last week
• sio2project / sio2jail
  A tool for supervising execution of programs submitted in algorithmic competitions
  ☆37Updated 3 weeks ago
• helsinki-systems / bbb4nix
  BigBlueButton packaging for Nix and NixOS
  ☆24Updated 3 years ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆23Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• SFTtech / sticker
  Some of the stickers might unsettle you.
  ☆147Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 8 months ago
• pkern / kitcard-reader
  An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…
  ☆11Updated 7 years ago
• krebs / retiolum
  retiolum network
  ☆13Updated 5 months ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆839Updated 3 years ago
• abooij / sudbury
  Haskell implementation of the wayland protocol
  ☆92Updated 8 years ago
• LennyPenny / vegarando
  browser extension um lieferando mehr einfach für vegetarier und veganer zu machen (mit unrelatierten bonusfeatures)
  ☆17Updated 4 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated last month
• yliceee / tex2nix
  Generate texlive nix expressions for documents
  ☆98Updated last month
• nomeata / incredible
  The Incredible Proof Machine
  ☆386Updated 2 months ago
• zebreus / rudelblinken-legacy
  Syncing and blinking cat ears
  ☆21Updated 5 months ago
• knowsys / TheoLog
  Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
  ☆24Updated last year
• prologin / camisole
  ☆70Updated 2 years ago
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 7 years ago
• TobleMiner / shoreline
  A very fast (200+ Gbit/s) pixelflut server written in C with full IPv6 support
  ☆82Updated 3 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• barnslig / geheimvz
  Bist du schon drin?
  ☆44Updated last year
• serokell / style
  Collection of programming style guides used in Serokell
  ☆12Updated 3 years ago
• Alan-Robertson / usyd_timesheet_automation
  Selenium driver to turn csv files into timesheet submissions
  ☆12Updated 2 years ago