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
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 3 years ago
• kumalg / testownik-electron
  Testownik app made with electron.js and vue.js
  ☆64Updated last year
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated 2 years ago
• callum-oakley / gotta-go-fast
  A command line utility for practicing typing and measuring your WPM and accuracy.
  ☆299Updated 2 years ago
• holubond / szmgr
  ☆28Updated 6 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.
  ☆89Updated 5 months ago
• LuxMiranda / herms
  A command-line manager for delicious kitchen recipes
  ☆199Updated 2 years ago
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• agda / cornelis
  agda-mode for neovim
  ☆173Updated 2 months ago
• xmonad / xmonad-contrib
  Contributed modules for xmonad
  ☆603Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated last month
• ndmitchell / ghcid
  Very low feature GHCi based IDE
  ☆1,174Updated last year
• schischi / xcwd
  A simple tool that prints the current working directory of the currently focused window
  ☆299Updated last year
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• neovimhaskell / nvim-hs
  Neovim API for Haskell plugins as well as the plugin provider
  ☆272Updated 9 months ago
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆139Updated last year
• Avi-D-coder / implicit-hie
  Auto generate a stack or cabal multi component hie.yaml file
  ☆214Updated last year
• lspitzner / brittany
  haskell source code formatter
  ☆689Updated 3 years ago
• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆143Updated 5 years ago
• UnkindPartition / tasty
  Modern and extensible testing framework for Haskell
  ☆658Updated 3 weeks ago
• haskell / lsp
  Haskell library for the Microsoft Language Server Protocol
  ☆410Updated this week
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• 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
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆11Updated 3 years ago
• unixpickle / cubezapp
  An amazing cube timer
  ☆11Updated 4 years ago