⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Rust bindings for writing safe and fast native Node.js modules.
Safe Rust bridge for creating Erlang NIF functions
- erlang
- nif
- elixir
- ffi
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436