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
• 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
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆168Updated last week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆303Updated 3 months 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.
  ☆80Updated 2 months ago
• holubond / szmgr
  ☆28Updated 4 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated last month
• zloutek1 / MasarykBOT
  Discord bot created mainly for the community of Faculty of Informatics, Masaryk's university.
  ☆13Updated last year
• Treeniks / isabelle-lsp.nvim
  ☆14Updated last year
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆552Updated this week
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated last week
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆42Updated 9 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆418Updated this week
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆63Updated 3 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
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆101Updated 2 months ago
• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆144Updated 5 years ago
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 8 years ago
• Yvee1 / hascard
  flashcard TUI with markdown cards
  ☆333Updated last year
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆54Updated 3 weeks ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆186Updated 8 months ago
• Avi-D-coder / implicit-hie
  Auto generate a stack or cabal multi component hie.yaml file
  ☆213Updated last year
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• elaforge / fast-tags
  Incremental vi and emacs tags for haskell.
  ☆81Updated 9 months ago