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
• jaspwr / LiA
  A transpiled superset of TeX for writing LaTeX.
  ☆74Updated 5 months ago
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• holubond / szmgr
  ☆28Updated 6 months ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 3 years ago
• 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.
  ☆87Updated 5 months ago
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated last month
• agda / cornelis
  agda-mode for neovim
  ☆173Updated 2 months ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 8 months ago
• mgsloan / mgsloan-dotfiles
  Linux and xmonad configuration files
  ☆23Updated 3 months ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated 2 years ago
• LiquidFun / aoc_tiles
  Fancy Advent of Code README tiles showing the completion status of the challenges per day
  ☆43Updated 3 weeks ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆460Updated last week
• TomLebeda / chroma_code
  Make beautiful colored code listings in LaTeX with the power of TreeSitter.
  ☆28Updated 2 months ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆23Updated this week
• tomtomjhj / vsrocq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Updated 2 months ago
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆54Updated 2 months ago
• angerson / Adv360-Pro-ZMK
  ADV360 Pro ZMK All-in-One Qwerty, Colemak, Colemak-DH, Dvorak, Programmer Dvorak, Workman, Workman-P Layout
  ☆15Updated last year
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆561Updated last week
• KeitaNakamura / tex-conceal.vim
  ☆128Updated 3 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆198Updated 2 years ago
• ruohola / finner
  Combines the best parts of the US keyboard layout into the Finnish one
  ☆49Updated 10 months ago
• callum-oakley / gotta-go-fast
  A command line utility for practicing typing and measuring your WPM and accuracy.
  ☆299Updated 2 years ago
• mgttlinger / biblatex-lncs
  BiBLaTeX style for Springer Lecture Notes in Computer Science
  ☆18Updated 2 years ago
• hasufell / ghcup.vim
  Vim plugin for GHCup
  ☆25Updated 5 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago