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
- A Haskell project template for Advent of Code solutions.☆32Updated last year
- A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …☆45Updated 3 years 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.☆67Updated 2 weeks ago
- Interactive Coq Proofs in Vim☆296Updated last week
- Testownik app made with electron.js and vue.js☆61Updated last year
- Advent Of Code 2022☆26Updated 2 years ago
- Linux and xmonad configuration files☆24Updated 2 weeks ago
- A plugin to type Unicode chars in Vim, using their LaTeX names.☆90Updated last year
- ELTE FI bachelor and master thesis template.☆70Updated last year
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆37Updated 6 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- A wayland compositor based on ideas from and inspired by xmonad☆93Updated 3 years ago
- Hoogle search integration for Telescope☆51Updated last year
- A command line utility for practicing typing and measuring your WPM and accuracy.☆295Updated 2 years ago
- Notes from the Computer Science program at Chalmers Uni. of Technology☆14Updated 7 years ago
- Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me☆141Updated 5 years ago
- ☆128Updated 3 years ago
- XMonad DBus monitor application and library to easily connect XMonad with Polybar☆22Updated last year
- agda-mode for neovim☆158Updated 2 months ago
- ☆28Updated 2 weeks ago
- ☆13Updated 9 months ago
- NullPointerExceptions in Haskell☆58Updated 8 years ago
- CrossAngles is the easiest way to plan your timetable for next term☆22Updated 3 months ago
- This floats chrome windows with i3wm while dragging tabs.☆42Updated 2 years ago
- (mostly) single stroke vim commands☆27Updated last year
- 👋 get to know me through my personal website!☆10Updated 2 years ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 3 years ago
- Support files for starting i3 in a GNOME-Flashback session☆94Updated 6 months ago