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
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated last year
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 2 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
• 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.
  ☆74Updated 2 months ago
• thorehusfeldt / git-paa-dansk
  Git på pæredansk
  ☆190Updated 10 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• callum-oakley / gotta-go-fast
  A command line utility for practicing typing and measuring your WPM and accuracy.
  ☆298Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆302Updated 2 months ago
• agda / cornelis
  agda-mode for neovim
  ☆167Updated 3 weeks ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 5 months ago
• mgttlinger / biblatex-lncs
  BiBLaTeX style for Springer Lecture Notes in Computer Science
  ☆18Updated 2 years ago
• Treeniks / isabelle-lsp.nvim
  ☆14Updated 11 months ago
• Witiko / fithesis
  A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …
  ☆45Updated 3 years ago
• LiquidFun / aoc_tiles
  Fancy Advent of Code README tiles showing the completion status of the challenges per day
  ☆37Updated 10 months ago
• amochtar / aoc-ranking
  Visualize the ranking over time of an Advent of Code private leaderboard.
  ☆31Updated 2 years ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆20Updated last week
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆52Updated 2 years ago
• mstksg / advent-of-code-2020
  🎅🌟❄️☃️🎄🎁
  ☆99Updated 10 months ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆41Updated 8 months ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 2 months ago
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆56Updated 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆122Updated last year
• jaspwr / LiA
  A transpiled superset of TeX for writing LaTeX.
  ☆75Updated 2 months ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• carjorvaz / macos-us-altgr-intl
  US altgr-intl from Linux on macOS
  ☆67Updated last week
• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆144Updated 5 years ago
• schischi / xcwd
  A simple tool that prints the current working directory of the currently focused window
  ☆299Updated last year
• pllk / kkkk
  Kisakoodarin käsikirja
  ☆15Updated 2 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago