"gsoc 2024"
Tags: "public", "project"
: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
Leave your Feedback in the Comments Section