Tezos
TQ Tezos (now Tezos Foundation) is a technology company headquartered in NYC that builds Tezos-based solutions and open-source software for enterprises and developers. TQ provides support and enables product realization from planning to deployment.
As an expert in functional programming and blockchain development, Serokell was invited to help.
What is Tezos?
Tezos is an open-source platform for assets and applications backed by a global community of validators, researchers, and builders.
With its governance mechanism, Tezos holders can participate in the future of the blockchain through voting. It is also designed to have high safety and code correctness through the possibility to formally verify its smart contracts.
Development of Tezos ecosystem:

Lorentz is a Haskell eDSL (embedded domain-specific language) that provides a more convenient way to write Michelson contracts.
Using Lorentz, one can implement migrations, work with upgradeable types, and more. The process of contract submission was streamlined, but still demanded a lot of manual work.

We investigated and audited the existing solutions, and created a repository called TZIP (Tezos Interoperability Proposal). TZIP formalizes the process of suggesting improvements to Tezos.
By analogy to ERC-20, we created a standard for the Tezos tokens and called it FA1.2.