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 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.
  ☆82Updated 4 months ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 2 years ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 7 months ago
• agda / cornelis
  agda-mode for neovim
  ☆171Updated last month
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 4 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆309Updated last week
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆10Updated 2 years ago
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last week
• callum-oakley / gotta-go-fast
  A command line utility for practicing typing and measuring your WPM and accuracy.
  ☆299Updated 2 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 4 months ago
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆196Updated 2 years ago
• kumalg / testownik-electron
  Testownik app made with electron.js and vue.js
  ☆64Updated last year
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆561Updated this week
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated last year
• xmonad / xmonad-contrib
  Contributed modules for xmonad
  ☆602Updated this week
• cabellwg / exit-vim
  Vim plugin that exits Vim on startup
  ☆192Updated 4 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆62Updated 2 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆444Updated this week
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆54Updated 2 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• opqdonut / haskell-exercises
  Haskell exercises with automatic tests
  ☆159Updated 4 years ago
• haskell / ghcup-hs
  ☆339Updated 3 months ago
• antoninkriz / CTU-TimeTableGenerator-new
  Generates the best possible time table for a user
  ☆13Updated 2 years ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated this week
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last week