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 9 months ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆122Updated last year
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆12Updated last year
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆10Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated 6 months ago
• ccz181078 / Coq-BB5
  ☆344Updated 3 weeks ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆179Updated 2 weeks ago
• jwshii / etna
  ☆11Updated 5 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated last year
• sugakandrey / Functional-analysis
  ☆11Updated 9 years ago
• chordify / redis-schema
  Typed, schema-based, composable Redis library for Haskell
  ☆10Updated 2 months ago
• agda / cornelis
  agda-mode for neovim
  ☆167Updated 3 weeks ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated 4 months ago
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆157Updated 2 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 4 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 8 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• pointfree-wasm / pointfree-wasm.github.io
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Updated 9 months ago
• recursion-ninja / Course-2025-08-CSCI-499
  CSCI 499 — Advanced Applications: A Hunter Fall 2025 Course
  ☆26Updated 2 weeks ago
• Rewbert / quickcheck
  Automatic testing of Haskell programs.
  ☆13Updated 4 months ago
• mbenke / labjpp
  Scenariusze na laboratoria JPP na wydziale MIM UW.
  ☆12Updated last year
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆11Updated 5 years ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆17Updated last year
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago