Alternatives and similar repositories for pisek

Users that are interested in pisek are comparing it to the libraries listed below

• 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
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated 3 weeks ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆170Updated last month
• Treeniks / isabelle-lsp.nvim
  ☆15Updated 2 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆11Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆175Updated last week
• fsr-de / 1327
  CMS for a student representatives website
  ☆20Updated 2 years ago
• jdreaver / NixOS-matlab
  ☆16Updated 10 years ago
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆12Updated 6 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 11 months ago
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated 2 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆15Updated last year
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆239Updated 2 months ago
• chordify / redis-schema
  Typed, schema-based, composable Redis library for Haskell
  ☆10Updated last month
• TRCYX / py_monad_do
  Do notation in Python.
  ☆10Updated 4 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…
  ☆142Updated last year
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆185Updated this week
• iblech / lets-play-agda
  An interactive Agda tutorial
  ☆18Updated 2 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• mishun / tangles
  Knot Theory library focusing on k-tangles
  ☆16Updated 3 years ago
• marcinjangrzybowski / cubeViz2
  ☆27Updated 2 years ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆33Updated last year
• SOFTENG701G1 / Flatmate-Management-System
  A webapp that lets flatmates record expenses, chores, etc and generally simplifies life flatting.
  ☆14Updated 4 years ago
• xiaoxiae / AnkiMFF
  Kolekce Anki balíčků k různým předmětům na MFF (informatika).
  ☆14Updated last year