clr
Checker for Lifetimes and other Refinement types
ElixirUpdated 6/16/2025
yavascript
Javascript embedded inside of elixir
ElixirUpdated 6/11/2025
protoss
Evil, Powerful Protocols for Elixir
ElixirUpdated 6/11/2025
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
ElixirUpdated 5/31/2025
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
ZigUpdated 5/25/2025