Alternatives and similar repositories for school_notes

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

• spito / testing
  Small framework for unit testing C programs written in C.
  ☆14Updated 4 years ago
• teaching-lab / stack-cs-activities
  A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …
  ☆26Updated last year
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆305Updated 2 weeks ago
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last year
• janchaloupka / web-scraper-nabidek-pronajmu
  Nástroj pro hlídání nových nabídek nemovitostí na populárních realitních serverech. Nabídky jsou vypisovány do Discord roomky.
  ☆82Updated 3 months ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 2 years ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆168Updated 3 weeks ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆54Updated last month
• mstksg / advent-of-code-2020
  🎅🌟❄️☃️🎄🎁
  ☆99Updated last year
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆436Updated last week
• ruohola / finner
  Combines the best parts of the US keyboard layout into the Finnish one
  ☆47Updated 9 months ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆22Updated this week
• umanovskis / win-kbd-usint-nodead
  US-International keyboard layout with no dead keys (AltGr only) for Windows
  ☆275Updated 6 years ago
• Twinside / vim-hoogle
  Vim plugin used to query hoogle, the haskell search engine
  ☆43Updated 7 years ago
• LuxMiranda / herms
  A command-line manager for delicious kitchen recipes
  ☆199Updated 2 years ago
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆93Updated 4 years ago
• monkoose / fzf-hoogle.vim
  (neo)vim plugin that uses fzf for previewing hoogle search results
  ☆41Updated 3 years ago
• n1ghtmare / dotfiles
  Well... my dotfiles!
  ☆13Updated last week
• troydm / xmonad-dbus
  XMonad DBus monitor application and library to easily connect XMonad with Polybar
  ☆22Updated 2 years ago
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 8 years ago
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆10Updated 2 years ago
• schischi / xcwd
  A simple tool that prints the current working directory of the currently focused window
  ☆299Updated last year
• mrcjkb / neotest-haskell
  Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
  ☆65Updated this week
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆145Updated last year
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• xmonad / xmonad-contrib
  Contributed modules for xmonad
  ☆601Updated 3 weeks ago
• 39aldo39 / klfc
  Keyboard Layout Files Creator
  ☆235Updated 2 years ago