Explore the **actor model** through , a new functional programming language for the web based on the battle-tested Erlang Virtual Machine!
Explore **dependent type systems** through , a new Haskell-inspired language with unprecedented support for type-driven development.
Join a local developer meetup (e.g. via ).
Explore **borrowing and lifetimes** through , a systems language which achieves memory- and thread-safety without a garbage collector!
We have a Discord server! ](https://discord.gg/wuytwK5s9h) This should be your first stop to talk with other OSSU students. Why don't you introduce yourself right now?
We have a Discord server! ](https://discord.gg/wuytwK5s9h) This should be your first stop to talk with other OSSU students. Why don't you introduce yourself right now?
Add **Open Source Society University** to your profile!