Alternatives and similar repositories for pisek

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

• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 7 months ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆118Updated last year
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆125Updated 3 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• xiaoxiae / AnkiMFF
  Kolekce Anki balíčků k různým předmětům na MFF (informatika).
  ☆13Updated last year
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆14Updated last year
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆322Updated 4 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆378Updated 5 months ago
• purkkafi / ylekov
  Funny procedural Finnish headlines
  ☆9Updated 7 months ago
• kajoel / master_thesis_template
  Template for master's thesis at Chalmers.Based on the template by Magnus Gustaver which in turn is based on the template by David Frisk..
  ☆9Updated 3 years ago
• KimLoanSA / mimuw
  2018-2021 mimuw by marcin abramowicz
  ☆34Updated 3 years ago
• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆31Updated 3 weeks ago
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated 3 weeks ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 10 months ago
• studip-sync / studip-sync
  ☆33Updated last month
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated 2 years ago
• jessicalally / hello-world
  ☆9Updated 5 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 10 months ago
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆11Updated 5 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 3 years ago
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆10Updated 2 years ago
• jwshii / etna
  ☆11Updated 3 months ago
• Treeniks / isabelle-lsp.nvim
  ☆14Updated 9 months 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.
  ☆299Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated 4 months ago