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
- Interactive Coq Proofs in Vim☆301Updated last month
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆25Updated last year
- The czech library for C. Why? Because we could, of course!☆125Updated 5 months ago
- A Haskell project template for Advent of Code solutions.☆33Updated last year
- 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.☆74Updated last month
- Testownik app made with electron.js and vue.js☆61Updated last year
- A transpiled superset of TeX for writing LaTeX.☆75Updated last month
- Neovim support for the Lean theorem prover☆402Updated this week
- Discord bot created mainly for the community of Faculty of Informatics, Masaryk's university.☆13Updated last year
- Kattis online judge command line tool☆56Updated 3 months ago
- A command line utility for practicing typing and measuring your WPM and accuracy.☆297Updated 2 years ago
- ☆146Updated 5 years ago
- A simple tool that prints the current working directory of the currently focused window☆301Updated last year
- Detexify Backend written in Haskell☆914Updated 8 years ago
- Visualize the ranking over time of an Advent of Code private leaderboard.☆31Updated 2 years ago
- ☆14Updated 11 months ago
- agda-mode for neovim☆165Updated last month
- An interpreter for learning and exploring pure λ-calculus☆466Updated 4 years ago
- #SharingIsCaring #CaringIsSharing☆86Updated 8 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
- A plugin to type Unicode chars in Vim, using their LaTeX names.☆90Updated last year
- Git på pæredansk☆189Updated 9 months ago
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆444Updated 4 months ago
- Enjoy writing SML within Vim☆108Updated 11 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆528Updated 3 months ago
- Tool for developing tasks for programming competitions.☆19Updated last week
- ☆337Updated this week
- A community around PL at Prague.☆18Updated 9 months ago
- A LaTeX Typesetting Game☆256Updated 5 months ago