Vlaaaaaaad / FMI-public-materialsLinks
Materials for Computer Science students at University of Bucharest
☆15Updated 5 years ago
Alternatives and similar repositories for FMI-public-materials
Users that are interested in FMI-public-materials are comparing it to the libraries listed below
Sorting:
- Material ajutator pentru sesiune☆23Updated 12 years ago
- The software behind dexonline.ro.☆229Updated 2 weeks ago
- ☆8Updated 6 years ago
- A simple network fuzzer intended to test the low level handling of malformed packets☆8Updated 5 years ago
- This is a book in Romanian on algorithms and programming contest strategies. It is written in LaTeX and TikZ. The original dates from 199…☆10Updated 7 years ago
- A simple http server written in Prolog☆30Updated 8 years ago
- A deliberately-vulnerable website and exercises for teaching about the OWASP Top 10☆186Updated 10 months ago
- tee(1) as a service☆15Updated 2 years ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆18Updated 2 years ago
- CLI string generator based on regex-like operations☆39Updated 5 years ago
- Python implementation of Tink☆63Updated this week
- ☆20Updated 11 months ago
- python library to manage and reduce lattices☆23Updated 8 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 7 years ago
- command-line Haskell with 'ghc -e'☆22Updated 7 years ago
- Haskell web service that redirects all traffic from HTTP to HTTPS☆53Updated 9 years ago
- cribdrag - an interactive crib dragging tool for cryptanalysis on ciphertext generated with reused or predictable stream cipher keys☆174Updated 4 years ago
- Library and executable for working with playlist files.☆13Updated last year
- The request.bin of DNS request☆236Updated 6 years ago
- Open source library that scrambles traffic using a custom undetectable build of a headless browser☆22Updated 7 years ago
- Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY☆32Updated 2 weeks ago
- Learning Cryptography, math and programming with Cryptol (and maybe some Python)☆95Updated 6 years ago
- A static-code-analysis tool for performing security-focused code reviews. It enables an auditor to swiftly map the attack-surface of a la…☆139Updated 10 months ago
- Vector builder☆16Updated 4 months ago
- Rails-like inflections for Haskell☆36Updated last year
- Installs git repos onto your system and keeps them up-to-date☆19Updated 8 years ago
- LaunchDarkly Server-Side SDK for Haskell☆14Updated last month
- Do signal handling and orphan reaping for Unix PID1 init processes☆84Updated last year
- Misspelled Words In Context☆38Updated last month
- Runtime compilation and invocation of C.☆10Updated 6 years ago