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 last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• xiaoxiae / AnkiMFF
  Kolekce Anki balíčků k různým předmětům na MFF (informatika).
  ☆14Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 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.
  ☆303Updated last year
• ccz181078 / Coq-BB5
  ☆352Updated 3 months ago
• mwhea / Manifold_Trading_Bots
  ☆14Updated 2 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 10 months ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 4 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Updated 2 years ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆11Updated last year
• fsr-de / myHPI
  Django/Wagtail page serving myhpi.de
  ☆13Updated 2 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• MaxGyver83 / neo2-llkh
  Neo2 Layout - alternativer Treiber mittels Low-Level Keyboard Hook
  ☆37Updated 3 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆173Updated 2 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated 2 years ago
• bstnfrmry / hanabi
  Play Hanabi online with friends!
  ☆103Updated 7 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆388Updated last month
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆141Updated last year
• diku-dk / su-guides
  Guides and guidelines for software development course
  ☆20Updated 11 months ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• kantinen / kantinfo
  a simple infoscreen system
  ☆12Updated 4 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆182Updated last week
• carlbordum / dansk.py
  Python, but danish 🇩🇰🦢🍻
  ☆32Updated 4 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆379Updated this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 4 months ago