:PROPERTIES: :ID: 031e6966-38a6-46a3-9289-616591ba5bcf :mtime: 20240322095024 :ctime: 20240322095022 :END: #+title: gsoc 2024 #+filetags: :public:project: * SageMath https://summerofcode.withgoogle.com/programs/2024/organizations/sagemath ** Lean Theorem Provers https://wiki.sagemath.org/GSoC/2024 * Haskell https://summerofcode.withgoogle.com/programs/2024/organizations/haskellorg * NixOS https://summerofcode.withgoogle.com/programs/2024/organizations/nixos-foundation * Zulip https://summerofcode.withgoogle.com/programs/2024/organizations/zulip ** Migrate to Typescript