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 8 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆120Updated last year
• ccz181078 / Coq-BB5
  ☆337Updated this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 2 weeks ago
• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆14Updated last year
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆12Updated last year
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated this week
• mbenke / labjpp
  Scenariusze na laboratoria JPP na wydziale MIM UW.
  ☆12Updated 11 months ago
• jwshii / etna
  ☆11Updated 4 months ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 7 months ago
• Hypercubers / hypercubing.xyz
  Website for the Hypercubing community
  ☆22Updated this week
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆137Updated last year
• david-christiansen / itu-thesis
  A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
  ☆20Updated 7 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆268Updated last week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 3 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 5 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• DafnyVSCode / Dafny-VSCode
  Dafny 2 for Visual Studio Code (Legacy)
  ☆20Updated 2 years ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆10Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆382Updated 6 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 11 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆179Updated this week
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆681Updated this week
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆58Updated 8 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 4 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆319Updated this week
• saidolsol / mensabot_js
  ☆13Updated 5 years ago