Krejdom / school_notesLinks
Notes from courses at FI MUNI.
☆72Updated 3 years ago
Alternatives and similar repositories for school_notes
Users that are interested in school_notes are comparing it to the libraries listed below
Sorting:
- Small framework for unit testing C programs written in C.☆14Updated 4 years ago
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆25Updated last year
- Interactive Coq Proofs in Vim☆300Updated last month
- ☆28Updated 2 months ago
- 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.☆73Updated 3 weeks ago
- Advent Of Code 2022☆26Updated 2 years ago
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆26Updated last year
- ☆14Updated 10 months ago
- Neovim plugin for writing LilyPond scores, with asynchronous make, midi/mp3 player, fast syntax highlighting, "hyphenation" function, and…☆179Updated last month
- 👋 get to know me through my personal website!☆10Updated 3 weeks ago
- Olympiad GeoGuessr☆17Updated 5 months ago
- A Haskell project template for Advent of Code solutions.☆33Updated last year
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆98Updated 5 years ago
- Hoogle search integration for Telescope☆51Updated last year
- Neovim support for the Lean theorem prover☆392Updated last week
- The all-in-one course catalog for McGill University☆16Updated 11 months ago
- Testownik app made with electron.js and vue.js☆61Updated last year
- agda-mode for neovim☆164Updated last month
- #SharingIsCaring #CaringIsSharing☆86Updated 7 months ago
- ☆128Updated 3 years ago
- Enjoy writing SML within Vim☆108Updated 11 months ago
- 🦥 Supercharge your Haskell experience in neovim!☆551Updated this week
- ☆26Updated 11 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Agda interaction pluging for neovim☆40Updated 10 months ago
- Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me☆142Updated 5 years ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- Generates the best possible time table for a user☆13Updated 2 years ago
- Marmoset Improved! Better UI and functionality☆40Updated last year
- Study materials for PV247 course☆12Updated 2 years ago