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 11 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆130Updated last year
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆350Updated 2 months ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last week
• nomeata / incredible
  The Incredible Proof Machine
  ☆386Updated last week
• 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
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆18Updated 13 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
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 3 months ago
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆10Updated last year
• 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
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 10 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆181Updated last month
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last week
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆171Updated last month
• chordify / redis-schema
  Typed, schema-based, composable Redis library for Haskell
  ☆10Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆181Updated 2 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆358Updated this week
• sebastianotronto / fmctutorial
  A tutorial for solving the Rubik's Cube with as few moves as possible.
  ☆33Updated 8 months ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆106Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆318Updated 6 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• TRCYX / py_monad_do
  Do notation in Python.
  ☆10Updated 4 years ago
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆11Updated 5 years ago
• kmein / niveum
  dotfiles / NixOS config
  ☆18Updated this week
• yliceee / tex2nix
  Generate texlive nix expressions for documents
  ☆98Updated 3 weeks ago