Materials for SAL (Security & Applied Logic) Master's Degree, Faculty of Mathematics & Informatics, Univesity of Bucharest (2021 - 2023). Materiale pentru Masterul SAL (Securitate și Logică Aplicată), FMI - UniBuc.
☆24Nov 1, 2024Updated last year
Alternatives and similar repositories for SAL-Materials-FMI-Master-Degree
Users that are interested in SAL-Materials-FMI-Master-Degree are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Various resources for my Undergraduate Degree at the University of Bucharest CTI 2020-2024☆19May 26, 2024Updated 2 years ago
- Resources for Faculty of Mathematics and Computer Science, University of Bucharest.☆19Jul 29, 2024Updated 2 years ago
- Teme la informatică pentru facultate☆63Oct 5, 2022Updated 3 years ago
- course materials fmi 2020-2023☆35May 19, 2023Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Python Nyaa v2 API Wrapper☆10Feb 11, 2023Updated 3 years ago
- ☆15Aug 19, 2026Updated last month
- IETF RATS terms cheat sheet☆12Feb 4, 2023Updated 3 years ago
- Ia cu pîine, nu te mai stresa cu facultatea că nu merită să îți nenorocești ficatul :)) Modele de rezolvări pentru generațiile următoare.…☆22Jan 2, 2025Updated last year
- ☆17May 22, 2023Updated 3 years ago
- UBB Informatica (romana) 2023-2026☆60May 20, 2026Updated 4 months ago
- Romanian Semantic Textual Similarity Dataset☆17Aug 25, 2022Updated 4 years ago
- ☆28Oct 8, 2025Updated 11 months ago
- MultiSentiNet-CIKM2017☆22Jan 9, 2018Updated 8 years ago
- 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.
- All my coding as a bachelor student of Computer science at Univeristy of Bucharest☆11May 5, 2020Updated 6 years ago
- Courses, homeworks, projects for uni☆16Sep 30, 2025Updated 11 months ago
- examples and utilities of dstack applications☆27Sep 20, 2026Updated last week
- Multihost nixos flake and scripts focused on reproducibility☆19Updated this week
- Formal specification of attestation mechanisms in Confidential Computing☆26Nov 22, 2025Updated 10 months ago
- TPM Remote Attestation protocol using go-tpm and gRPC☆32Sep 7, 2026Updated 3 weeks ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆27Aug 24, 2026Updated last month
- My personal dot files / Home Manager config☆20Updated this week
- The danger of repetivive format string vulnerabilities and abusing exit on full RELRO☆22May 26, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Artificial Intelligence Master's CourseWare (Courses, Assignments, Documentation, Solutions) @ FMI, Unibuc☆31Apr 1, 2023Updated 3 years ago
- Security Blogs - A simple aggregator for security news/blog☆30Sep 10, 2026Updated 2 weeks ago
- SenPY - A highly efficient CLI based anime downloader written in python and integrated with aria2.☆24Nov 10, 2024Updated last year
- Nix flake for home configuration☆27Updated this week
- Example lab application☆20Mar 30, 2026Updated 5 months ago
- This plugin shows HowLongToBeat data in Playnite.☆24Jul 2, 2026Updated 2 months ago
- My CTF writeup☆26Mar 20, 2017Updated 9 years ago
- The first open onchain competitive AI eval framework☆28Mar 29, 2026Updated 5 months ago
- A Highly Efficient & Multifaceted Neovim Starter Configuration entirely in lua with Lazy.nvim☆24Nov 23, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Background-Agnostic Framework with Adversarial Training for Abnormal Event Detection in Video☆34Apr 12, 2022Updated 4 years ago
- ☆38Aug 20, 2026Updated last month
- ☆24Jun 2, 2025Updated last year
- Lista cu județe, orașe, localități, comune Romania in format JSON si typescript☆29Mar 18, 2019Updated 7 years ago
- ☆32Jun 21, 2026Updated 3 months ago
- 🎓 Homework/Coursework during my bachelor's in Computer Science☆12Dec 27, 2022Updated 3 years ago
- dendritic niri ❄️☆32Sep 1, 2026Updated 3 weeks ago