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 10 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆126Updated last year
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated last month
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated 7 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆385Updated 8 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
• ccz181078 / Coq-BB5
  ☆348Updated 2 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 9 months ago
• agda / cornelis
  agda-mode for neovim
  ☆168Updated 3 weeks ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆10Updated last year
• Hypercubers / hypercubing.xyz
  Website for the Hypercubing community
  ☆22Updated 3 weeks ago
• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆14Updated last year
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• onionhoney / roux-trainers
  Rubik's cube trainer / solver for the Roux method.
  ☆54Updated 3 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆11Updated 5 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆915Updated 8 years ago
• N0W0RK / TUM_GAD_Tests_SS21
  This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21
  ☆31Updated 3 years ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• jwshii / etna
  ☆11Updated 6 months ago
• mspi21 / kos-timetable-mod
  KOS schedule mod that customises your schedule in various ways, including renaming your courses, changing colours, adding new events, sty…
  ☆11Updated 2 years ago
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆12Updated last month
• peku33 / minix-toolkit
  Skrypt do zautomatyzowanej pracy z systemem minix 2.0.3 na laboratorium SOI
  ☆36Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 9 months ago
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆138Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• arrterian / nix-env-selector
  Allows switch environment for Visual Studio Code using Nix Package Manager.
  ☆238Updated last month
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last year