My notes in LaTeX.
☆29Sep 30, 2026Updated 2 weeks ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for the Operating Systems course at AGH UST☆20Dec 23, 2025Updated 9 months ago
- ☆82Oct 7, 2026Updated last week
- Solutions from Algorithms and Data Structures course at AGH University of Krakow. Please leave a star if it helped You ⭐☆21Apr 24, 2022Updated 4 years ago
- Project Ignythe is a set of workshops for BIT Java classes that are part of BIT Scientific Research Group at AGH UST in Poland.☆12Jan 5, 2023Updated 3 years ago
- Elixir School 2025 edition☆14Apr 15, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Algorytmy i struktury danych - rozwiązania☆18Apr 19, 2026Updated 5 months ago
- Short course on time series forecasting, taught as part of Machine Learning course at AGH☆12Dec 17, 2025Updated 9 months ago
- Solutions of problems from AGH course "Metody Obliczeniowe w Nauce i Technice" (MOwNiT)☆19Jun 15, 2022Updated 4 years ago
- Rozwiązania zadań z przedmiotu Algorytmy i Struktury Danych na AGH 2020/2021☆22Apr 22, 2023Updated 3 years ago
- Implementation of various algorithms and solutions to problems from university Data Structures & Algorithms course☆12Jun 11, 2025Updated last year
- Lean4 Code Editor☆19Updated this week
- This is a currency converter web application that fetches real-time data for currency conversion rates using HTML, CSS, and JavaScript.☆10Jun 4, 2023Updated 3 years ago
- Advent of Code 2025 done in Lean 4☆18Dec 12, 2025Updated 10 months ago
- Enables Airplane mode when Windows goes into sleep mode.☆20Oct 13, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Materiały do kursu Docker-a / Docker course materials☆24Sep 13, 2026Updated last month
- Python bindings (screen-scraping) for https://synergia.librus.pl/☆12Sep 4, 2024Updated 2 years ago
- A tool to audit Hex dependencies, to make sure your ✨ gleam projects really sparkle!☆26Jun 21, 2026Updated 3 months ago
- Rich Syntax Highlighting for Go language☆32Sep 9, 2026Updated last month
- Scikit-learn compatible library for molecular fingerprints and chemoinformatics☆394Oct 6, 2026Updated last week
- Java ODM / Unified persistence API: Store JSON in PostgreSQL, MariaDB, H2, Redis... or just use MongoDB like we meant you to. Technically…☆32May 18, 2026Updated 4 months ago
- Stay up to date with Ekstraklasa without leaving a VSCode!☆10Mar 3, 2025Updated last year
- 🔄️ The world's most trusted, fast and secure currency converter☆24Sep 21, 2024Updated 2 years ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jul 27, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Repozytorium z zadaniami z podstaw sztucznej inteligencji☆55Oct 5, 2026Updated last week
- 2048 Coding Tutorial: https://youtu.be/XM2n1gu4530☆21Dec 22, 2023Updated 2 years ago
- Reimplementation of BlooMoo and Piklib game engines for "Przygody Reksia" PC games series☆53Updated this week
- This repository contains real-world examples of the react-native-sortables library usage.☆67Sep 13, 2025Updated last year
- Powód powstania tego repo jest prosty "Ej, ale może zrób coś, żeby kobietom informatyków podpowiedzieć, co im kupić."☆14Dec 14, 2023Updated 2 years ago
- ☆36May 3, 2024Updated 2 years ago
- An experiment in running GTK applications with a web deployment model☆21Jul 21, 2023Updated 3 years ago
- 🎯 Competitive Programming should be productive.☆33Jun 1, 2026Updated 4 months ago
- Brave quest of 16 students to make MOWNiT even better again!☆14Dec 17, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple ARM/x86(_64) static linker☆45Oct 1, 2026Updated last week
- Package for simulating contact mechanics☆14Updated this week
- Time Measurement Tool for the Polish Olympiad in Informatics☆23Oct 9, 2018Updated 8 years ago
- An Atom package for working with file templates.☆14Jul 29, 2020Updated 6 years ago
- Leetcode company wise questions (Updated 2020).☆34Apr 26, 2020Updated 6 years ago
- ☆40Sep 20, 2023Updated 3 years ago
- Python implementations of approval-based committee (multi-winner) voting rules☆46May 30, 2026Updated 4 months ago