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
  ☆88Updated 9 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆125Updated last year
• ccz181078 / Coq-BB5
  ☆345Updated last month
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated 3 weeks ago
• pllk / kkkk
  Kisakoodarin käsikirja
  ☆15Updated 3 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆384Updated 8 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 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.
  ☆301Updated last year
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆179Updated this week
• hroncok / fit-thesis-tips
  Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)
  ☆98Updated 5 years ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated last month
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆12Updated 2 weeks ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆10Updated last year
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆11Updated 3 months ago
• theodormoroianu / WOKO_New_Room_Notification
  Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…
  ☆13Updated 2 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆163Updated this week
• lynn / lidysisku
  Fast lojban dictionary https://foldr.moe/lidysisku/
  ☆14Updated 3 weeks ago
• leanprover-community / NNG4
  Natural Number Game
  ☆238Updated last month
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 8 months ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,639Updated 9 months ago
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆51Updated this week
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• Hypercubers / hypercubing.xyz
  Website for the Hypercubing community
  ☆22Updated last week
• Owstin / scrambow
  Puzzle Scramble Generator
  ☆17Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆915Updated 8 years ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆196Updated 2 weeks ago
• agda / cornelis
  agda-mode for neovim
  ☆168Updated last week