LaTeX

LaTeX is a document preparation system.

Elixir

Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

Rust

Rust is a systems programming language created by Mozilla.

The Julia Language

Julia is a high-level, high-performance dynamic programming language for numerical computing.

Hacktoberfest

Hacktoberfest is a month-long celebration of open source projects, their maintainers, and the entire community of contributors.

Algorithm

Algorithms are self-contained sequences that carry out a variety of tasks.

Homebrew

Homebrew is a package manager for macOS.

solvers

Scala

Scala is an object-oriented programming language.

Parsing

Parsing is the process of analyzing a string of symbols conforming to the rules of a formal grammar.

Compiler

Compilers are software that translate higher-level programming languages to lower-level languages (e.g. machine code).

dependent-types