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
• Treeniks / isabelle-lsp.nvim
  ☆15Updated 2 months ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆312Updated last month
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆142Updated last year
• 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
  ☆175Updated last week
• thorehusfeldt / git-paa-dansk
  Git på pæredansk
  ☆192Updated last year
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• holubond / szmgr
  ☆28Updated 7 months ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 4 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆463Updated last week
• haskell / winghci
  Simple Windows GUI for GHCi.
  ☆20Updated 10 years ago
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 7 years ago
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆11Updated 3 years ago
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆131Updated 3 months ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 3 years ago
• 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
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 3 years ago
• haskell / ghcup-hs
  ☆341Updated last week
• mcserep / elteikthesis
  ELTE FI bachelor and master thesis template.
  ☆72Updated last year
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆30Updated 4 months ago
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆19Updated 2 years ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆437Updated this week
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆23Updated this week
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆51Updated 3 weeks ago
• callum-oakley / gotta-go-fast
  A command line utility for practicing typing and measuring your WPM and accuracy.
  ☆299Updated 2 years ago