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
- ☆14Updated 9 months 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
- Advent Of Code 2022☆26Updated 2 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.☆70Updated this week
- A Haskell project template for Advent of Code solutions.☆32Updated last year
- A command line utility for practicing typing and measuring your WPM and accuracy.☆297Updated 2 years ago
- 🦥 Supercharge your Haskell experience in neovim!☆548Updated last week
- Interactive Coq Proofs in Vim☆299Updated last week
- agda-mode for neovim☆162Updated 2 weeks ago
- flashcard TUI with markdown cards☆327Updated 9 months ago
- The czech library for C. Why? Because we could, of course!☆125Updated 3 months ago
- Notes from the Computer Science program at Chalmers Uni. of Technology☆14Updated 7 years ago
- Debug Adapter for Haskell debugging system.☆62Updated 2 months ago
- Hoogle search integration for Telescope☆51Updated 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
- Extended Haskell Conceal feature for Vim☆132Updated 5 years ago
- US altgr-intl from Linux on macOS☆58Updated 5 months ago
- ⌨️ A modern TUI typing game featuring online racing against friends.☆93Updated 3 years ago
- ☆28Updated last month
- 🎅🌟❄️☃️🎄🎁☆99Updated 8 months ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- DBus monitor for xmonad log events.☆35Updated last year
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆414Updated this week
- A command-line manager for delicious kitchen recipes☆199Updated last year
- Neovim plugin for writing LilyPond scores, with asynchronous make, midi/mp3 player, fast syntax highlighting, "hyphenation" function, and…☆177Updated 2 weeks ago
- Source Code for JSON Parser Video☆192Updated 2 years ago
- Application launcher in haskell. Mostly Just For Fun.☆72Updated 7 months ago
- A LaTeX Typesetting Game☆256Updated 4 months ago
- Neovim support for the Lean theorem prover☆379Updated this week