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
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 4 months ago
• ccz181078 / Coq-BB5
  ☆352Updated 3 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• 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
• shriram / porpoise
  use an LLM to translate purpose-statements into code to evaluate their quality
  ☆11Updated last year
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆13Updated 2 months ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆11Updated last year
• pllk / kkkk
  Kisakoodarin käsikirja
  ☆15Updated 3 years ago
• chordify / redis-schema
  Typed, schema-based, composable Redis library for Haskell
  ☆10Updated 3 weeks ago
• agda / cornelis
  agda-mode for neovim
  ☆173Updated 2 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• GleasSpty / MATH-110-----Linear-Algebra
  ☆14Updated 8 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 10 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆182Updated last week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated 2 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• haskell / error-messages
  ☆76Updated 3 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• 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
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 3 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆917Updated 9 years ago
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆139Updated last year