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
  ☆85Updated 3 months ago
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆31Updated this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 11 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆110Updated 10 months ago
• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆11Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• yagarea / blackblog
  My personal blog
  ☆7Updated last week
• ccz181078 / Coq-BB5
  ☆210Updated 3 weeks ago
• jwshii / etna
  ☆10Updated last month
• MatthewHepburn / FSM-Workbench
  Create and simulate finite state machines in your browser. Includes interactive exercises.
  ☆9Updated 7 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• hroncok / fit-thesis-tips
  Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)
  ☆98Updated 5 years ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 7 months ago
• mff-cuni-cz / cuni-thesis-validator
  A Docker 🐳 container with CUNI.CZ PDF/A validation profile
  ☆13Updated 9 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆157Updated last month
• MaxGyver83 / neo2-llkh
  Neo2 Layout - alternativer Treiber mittels Low-Level Keyboard Hook
  ☆36Updated 2 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆13Updated 2 months ago
• muesli-hd / muesli
  Mathematisches Übungsgruppen- und Scheinlisten-Interface
  ☆26Updated last month
• xiaoxiae / Maturita-CZ
  Zpracování maturitních otázek k maturitě z češtiny 2018-19.
  ☆13Updated 10 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆287Updated 4 months ago
• tohecz / ctuthesis
  LaTeX template for theses at CTU in Prague
  ☆45Updated 11 months ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆16Updated 7 months ago
• ioi-germany / cms
  Contest Management System
  ☆14Updated 2 months ago
• haskell / error-messages
  ☆72Updated 2 years ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆72Updated this week
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• vitkolos / notes-ipp
  poznámky z bakalářské informatiky na MFF UK
  ☆11Updated last week
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated 2 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.
  ☆297Updated last year