# Formal science - [Computer Science](/learning/formal-science/computer_science.md) - [Algorithms and Data Structures](/learning/formal-science/computer_science/algo.md) - [API](/learning/formal-science/computer_science/api.md) - [Backups](/learning/formal-science/computer_science/backups.md) - [CLI](/learning/formal-science/computer_science/cli.md) - [Cloud computing](/learning/formal-science/computer_science/cloud_computing.md) - [AWS](/learning/formal-science/computer_science/cloud_computing/aws.md) - [Azure](/learning/formal-science/computer_science/cloud_computing/azure.md) - [GCP](/learning/formal-science/computer_science/cloud_computing/gcp.md) - [Competitive programming](/learning/formal-science/computer_science/competitive_programming.md) - [Computer architecture](/learning/formal-science/computer_science/computer_architecture.md) - [Computer graphics](/learning/formal-science/computer_science/computer_graphics.md) - [Image processing](/learning/formal-science/computer_science/computer_graphics/image_processing.md) - [SVG](/learning/formal-science/computer_science/computer_graphics/svg.md) - [Computer languages](/learning/formal-science/computer_science/computer_languages.md) - [Markup languages](/learning/formal-science/computer_science/computer_languages/markup.md) - [HTML](/learning/formal-science/computer_science/computer_languages/markup/html.md) - [Markdown](/learning/formal-science/computer_science/computer_languages/markup/markdown.md) - [TeX](/learning/formal-science/computer_science/computer_languages/markup/tex.md) - [BibTeX](/learning/formal-science/computer_science/computer_languages/markup/tex/bibtex.md) - [JabRef](/learning/formal-science/computer_science/computer_languages/markup/tex/bibtex/jabref.md) - [LaTeX](/learning/formal-science/computer_science/computer_languages/markup/tex/latex.md) - [Programming languages](/learning/formal-science/computer_science/computer_languages/programming_languages.md) - [Assembler](/learning/formal-science/computer_science/computer_languages/programming_languages/assembler.md) - [C](/learning/formal-science/computer_science/computer_languages/programming_languages/c_language.md) - [C libraries](/learning/formal-science/computer_science/computer_languages/programming_languages/c_language/c_libraries.md) - [C++](/learning/formal-science/computer_science/computer_languages/programming_languages/cpp.md) - [C++ libraries](/learning/formal-science/computer_science/computer_languages/programming_languages/cpp/cpp_libraries.md) - [Qt](/learning/formal-science/computer_science/computer_languages/programming_languages/cpp/qt.md) - [Java](/learning/formal-science/computer_science/computer_languages/programming_languages/java.md) - [Java libraries](/learning/formal-science/computer_science/computer_languages/programming_languages/java/java_libraries.md) - [MATLAB](/learning/formal-science/computer_science/computer_languages/programming_languages/matlab.md) - [Python](/learning/formal-science/computer_science/computer_languages/programming_languages/python.md) - [Python libraries](/learning/formal-science/computer_science/computer_languages/programming_languages/python/python_libraries.md) - [Dask](/learning/formal-science/computer_science/computer_languages/programming_languages/python/python_libraries/dask.md) - [Django](/learning/formal-science/computer_science/computer_languages/programming_languages/python/python_libraries/django.md) - [NumPy](/learning/formal-science/computer_science/computer_languages/programming_languages/python/python_libraries/numpy.md) - [Pandas](/learning/formal-science/computer_science/computer_languages/programming_languages/python/python_libraries/pandas.md) - [Shell scripting languages](/learning/formal-science/computer_science/computer_languages/shell_scripting.md) - [PowerShell](/learning/formal-science/computer_science/computer_languages/shell_scripting/powershell.md) - [Sh](/learning/formal-science/computer_science/computer_languages/shell_scripting/sh.md) - [Bash](/learning/formal-science/computer_science/computer_languages/shell_scripting/sh/bash.md) - [Csh](/learning/formal-science/computer_science/computer_languages/shell_scripting/sh/csh.md) - [Ksh](/learning/formal-science/computer_science/computer_languages/shell_scripting/sh/ksh.md) - [Style sheet languages](/learning/formal-science/computer_science/computer_languages/style_sheet.md) - [CSS](/learning/formal-science/computer_science/computer_languages/style_sheet/css.md) - [Data Science](/learning/formal-science/computer_science/data_science.md) - [Data visualization](/learning/formal-science/computer_science/data_science/data_visualization.md) - [Hadoop](/learning/formal-science/computer_science/data_science/hadoop.md) - [Kafka](/learning/formal-science/computer_science/data_science/kafka.md) - [Spark](/learning/formal-science/computer_science/data_science/spark.md) - [Database](/learning/formal-science/computer_science/database.md) - [NoSQL](/learning/formal-science/computer_science/database/nosql.md) - [MongoDB](/learning/formal-science/computer_science/database/nosql/mongodb.md) - [Relational](/learning/formal-science/computer_science/database/relational.md) - [DB2](/learning/formal-science/computer_science/database/relational/db2.md) - [MySQL](/learning/formal-science/computer_science/database/relational/mysql.md) - [PostgreSQL](/learning/formal-science/computer_science/database/relational/postgresql.md) - [SQLite](/learning/formal-science/computer_science/database/relational/sqlite.md) - [SQL](/learning/formal-science/computer_science/database/sql.md) - [Distributed systems](/learning/formal-science/computer_science/distributed_systems.md) - [CRDT](/learning/formal-science/computer_science/distributed_systems/crdt.md) - [RPC](/learning/formal-science/computer_science/distributed_systems/rpc.md) - [GameDev](/learning/formal-science/computer_science/gamedev.md) - [Unity](/learning/formal-science/computer_science/gamedev/unity.md) - [Hardware](/learning/formal-science/computer_science/hardware.md) - [Arduino](/learning/formal-science/computer_science/hardware/arduino.md) - [CPU](/learning/formal-science/computer_science/hardware/cpu.md) - [RISC-V](/learning/formal-science/computer_science/hardware/cpu/risc_v.md) - [Licensing](/learning/formal-science/computer_science/licensing.md) - [Machine learning](/learning/formal-science/computer_science/machine_learning.md) - [Artificial intelligence](/learning/formal-science/computer_science/machine_learning/ai.md) - [Data mining](/learning/formal-science/computer_science/machine_learning/datamining.md) - [Networking](/learning/formal-science/computer_science/networking.md) - [DNS](/learning/formal-science/computer_science/networking/dns.md) - [Domains](/learning/formal-science/computer_science/networking/domains.md) - [HTTP](/learning/formal-science/computer_science/networking/http.md) - [Nginx](/learning/formal-science/computer_science/networking/nginx.md) - [Peer-to-peer](/learning/formal-science/computer_science/networking/p2p.md) - [BitTorrent](/learning/formal-science/computer_science/networking/p2p/bit_torrent.md) - [Open source](/learning/formal-science/computer_science/open_source.md) - [GitHub](/learning/formal-science/computer_science/open_source/github.md) - [GitHub actions](/learning/formal-science/computer_science/open_source/github/github_actions.md) - [Operating Systems](/learning/formal-science/computer_science/os.md) - [Android](/learning/formal-science/computer_science/os/android.md) - [Containers](/learning/formal-science/computer_science/os/containers.md) - [Docker](/learning/formal-science/computer_science/os/containers/docker.md) - [Kubernetes](/learning/formal-science/computer_science/os/containers/kubernetes.md) - [Package managers](/learning/formal-science/computer_science/package_managers.md) - [Nix](/learning/formal-science/computer_science/package_managers/nix.md) - [Program exectuion](/learning/formal-science/computer_science/program_execution.md) - [Build systems](/learning/formal-science/computer_science/program_execution/build_systems.md) - [Compilers](/learning/formal-science/computer_science/program_execution/compilers.md) - [LLVM](/learning/formal-science/computer_science/program_execution/compilers/llvm.md) - [Programming](/learning/formal-science/computer_science/programming.md) - [CI/CD](/learning/formal-science/computer_science/programming/cicd.md) - [DevOps](/learning/formal-science/computer_science/programming/devops.md) - [Observability](/learning/formal-science/computer_science/programming/devops/observability.md) - [Terraform](/learning/formal-science/computer_science/programming/devops/terraform.md) - [Security](/learning/formal-science/computer_science/security.md) - [Cryptography](/learning/formal-science/computer_science/security/cryptography.md) - [Shell](/learning/formal-science/computer_science/shell.md) - [Fish](/learning/formal-science/computer_science/shell/fish.md) - [Zsh](/learning/formal-science/computer_science/shell/zsh.md) - [Text editors](/learning/formal-science/computer_science/text_editors.md) - [Vim](/learning/formal-science/computer_science/text_editors/vim.md) - [Plugins](/learning/formal-science/computer_science/text_editors/vim/plugins.md) - [VS Code](/learning/formal-science/computer_science/text_editors/vs_code.md) - [Version control](/learning/formal-science/computer_science/version_control.md) - [Git](/learning/formal-science/computer_science/version_control/git.md) - [Web](/learning/formal-science/computer_science/web.md) - [Browsers](/learning/formal-science/computer_science/web/browsers.md) - [Chrome](/learning/formal-science/computer_science/web/browsers/chrome.md) - [Firefox](/learning/formal-science/computer_science/web/browsers/firefox.md) - [Search engines](/learning/formal-science/computer_science/web/search_engines.md) - [Logic](/learning/formal-science/logic.md) - [Mathematics](/learning/formal-science/mathematics.md) - [Applied mathematics](/learning/formal-science/mathematics/applied_mathematics.md) - [Probability and statistics](/learning/formal-science/mathematics/applied_mathematics/probability_and_statistics.md) - [Probability theory](/learning/formal-science/mathematics/applied_mathematics/probability_and_statistics/probability_theory.md) - [Statistics](/learning/formal-science/mathematics/applied_mathematics/probability_and_statistics/statistics.md) - [Pure mathematics](/learning/formal-science/mathematics/pure_mathematics.md) - [Algebra](/learning/formal-science/mathematics/pure_mathematics/algebra.md) - [Linear algebra](/learning/formal-science/mathematics/pure_mathematics/algebra/linear_algebra.md) - [Group theory](/learning/formal-science/mathematics/pure_mathematics/algebra/group_theory.md) - [Analysis](/learning/formal-science/mathematics/pure_mathematics/analysis.md) - [Foundations](/learning/formal-science/mathematics/pure_mathematics/foundations.md) - [Fractal](/learning/formal-science/mathematics/pure_mathematics/foundations/fractal.md) - [Graph theory](/learning/formal-science/mathematics/pure_mathematics/foundations/graph_theory.md) - [Lambda calculus](/learning/formal-science/mathematics/pure_mathematics/foundations/lambda_calculus.md) - [Type theory](/learning/formal-science/mathematics/pure_mathematics/foundations/type_theory.md) - [Geometry](/learning/formal-science/mathematics/pure_mathematics/geometry.md) - [Algebraic geometry](/learning/formal-science/mathematics/pure_mathematics/geometry/algebraic_geometry.md) - [Number theory](/learning/formal-science/mathematics/pure_mathematics/number_theory.md) - [Recreational mathematics](/learning/formal-science/mathematics/pure_mathematics/recreational_mathematics.md) - [Topology](/learning/formal-science/mathematics/pure_mathematics/topology.md)