univalency is written entirely in Haskell, using the Helm game engine. Helm uses a style referred to as "functionally reactive programming" (FRP) and is inspired directly by the Elm programming language (although Elm was certainly not the first to do so-called FRP).
Elm's website gives perhaps the best explanation of FRP, without using 20 pages of LaTeX-heavy, dense, technical prose filled with strange sterile examples that don't seem to mean anything unless you've spent years of your life saturated in category and intuitionistic type theory.
all of univalency's code is licensed under the GNU Affero General Public License version 3.0.
the assets used for univalency (i.e., pieces that are not code or textual, such as images) are licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.