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
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆301Updated last month
• 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 …
  ☆25Updated last year
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆125Updated 5 months ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated 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 last month
• kumalg / testownik-electron
  Testownik app made with electron.js and vue.js
  ☆61Updated last year
• jaspwr / LiA
  A transpiled superset of TeX for writing LaTeX.
  ☆75Updated last month
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆402Updated this week
• zloutek1 / MasarykBOT
  Discord bot created mainly for the community of Faculty of Informatics, Masaryk's university.
  ☆13Updated last year
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆56Updated 3 months ago
• callum-oakley / gotta-go-fast
  A command line utility for practicing typing and measuring your WPM and accuracy.
  ☆297Updated 2 years ago
• laurajanegraham / surface_area
  ☆146Updated 5 years ago
• schischi / xcwd
  A simple tool that prints the current working directory of the currently focused window
  ☆301Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• amochtar / aoc-ranking
  Visualize the ranking over time of an Advent of Code private leaderboard.
  ☆31Updated 2 years ago
• Treeniks / isabelle-lsp.nvim
  ☆14Updated 11 months ago
• agda / cornelis
  agda-mode for neovim
  ☆165Updated last month
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 8 months 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
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• thorehusfeldt / git-paa-dansk
  Git på pæredansk
  ☆189Updated 9 months ago
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆444Updated 4 months ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated 11 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆528Updated 3 months ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆19Updated last week
• ccz181078 / Coq-BB5
  ☆337Updated this week
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 9 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 5 months ago