Alternatives and similar repositories for kkkk:

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

• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated 11 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆106Updated 8 months ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆159Updated 11 months ago
• justinwoo / easy-markdown-beamer-pandoc
  Simple things nobody tells you how to do
  ☆22Updated 6 years ago
• rgri / tex2nix
  Generate texlive nix expressions for documents
  ☆95Updated 9 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆368Updated last year
• noinia / hgeometry
  HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…
  ☆123Updated this week
• hy-tira / tirakirja
  Kurssikirja Helsingin yliopiston kurssille Tietorakenteet ja algoritmit
  ☆30Updated 2 years ago
• muccc / darc
  ☆19Updated 6 years ago
• snowleopard / alga
  Algebraic graphs
  ☆736Updated 9 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 11 months ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆182Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆898Updated 8 years ago
• kmein / gesetze
  German laws from https://www.gesetze-im-internet.de/ in plain text format (updated daily)
  ☆35Updated this week
• agausmann / perftree
  Perft debugger. Compare your chess engine's move generation to Stockfish
  ☆65Updated 6 months ago
• nix-community / dns.nix
  A Nix DSL for DNS zone files [maintainers=@raitobezarius @kirelagin @Tom-Hubrecht]
  ☆138Updated last month
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• nix-community / crate2nix
  rebuild only changed crates in CI with crate2nix and nix
  ☆401Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆362Updated this week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated 2 weeks ago
• JaniM / variant-go-server
  The virtual home of go variants.
  ☆50Updated 11 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆387Updated this week
• tweag / jupyenv
  Declarative and reproducible Jupyter environments - powered by Nix
  ☆692Updated this week
• ccz181078 / Coq-BB5
  ☆187Updated 3 weeks 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…
  ☆83Updated last month
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆334Updated 5 months ago
• jmviz / when-to-berserk-on-lichess
  When should you berserk in lichess arena tournament games?
  ☆20Updated 2 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 6 years ago