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
• 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.
  ☆91Updated 6 months ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated 2 years ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 3 years ago
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆11Updated 3 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
• agda / cornelis
  agda-mode for neovim
  ☆176Updated 2 weeks ago
• Treeniks / isabelle-lsp.nvim
  ☆16Updated 2 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆314Updated this week
• callum-oakley / gotta-go-fast
  A command line utility for practicing typing and measuring your WPM and accuracy.
  ☆299Updated 2 years ago
• kumalg / testownik-electron
  Testownik app made with electron.js and vue.js
  ☆65Updated 2 years ago
• schischi / xcwd
  A simple tool that prints the current working directory of the currently focused window
  ☆299Updated last year
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆567Updated last week
• ndmitchell / hoogle
  Haskell API search engine
  ☆797Updated last week
• LiquidFun / aoc_tiles
  Fancy Advent of Code README tiles showing the completion status of the challenges per day
  ☆43Updated last month
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆920Updated 9 years ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated last year
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• mgsloan / mgsloan-dotfiles
  Linux and xmonad configuration files
  ☆24Updated 4 months ago
• ruohola / finner
  Combines the best parts of the US keyboard layout into the Finnish one
  ☆49Updated 11 months ago
• KeitaNakamura / tex-conceal.vim
  ☆128Updated 4 years ago
• holubond / szmgr
  ☆28Updated 7 months ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆437Updated last week
• pvorb / learn-you-a-haskell
  “Learn You a Haskell for Great Good!” by Miran Lipovača
  ☆310Updated 3 years ago
• xmonad / xmonad-contrib
  Contributed modules for xmonad
  ☆605Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆197Updated 2 years ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 9 months ago