Skip to content
@DamageBDD

DamageBDD

Popular repositories Loading

  1. DamageBDD DamageBDD Public

    Behaviour Verification at Planetary Scale

    Erlang 4

  2. DamageBDD.com DamageBDD.com Public

    DamageBDD Product Page

    TeX 1 5

  3. GymApp GymApp Public

    GymApp For Gym

  4. rebar3_pkg rebar3_pkg Public

    Rebar3 package to generate and publish OTP applications

    Erlang

  5. damagebdd_book damagebdd_book Public

    The DamageBDD Book

    TeX

  6. safe_peer safe_peer Public

    Hard isolation for untrusted BEAM execution — because correctness beats hope.

    Erlang

Repositories

Showing 6 of 6 repositories
  • DamageBDD Public

    Behaviour Verification at Planetary Scale

    DamageBDD/DamageBDD’s past year of commit activity
    Erlang 4 Apache-2.0 0 31 1 Updated Feb 15, 2026
  • safe_peer Public

    Hard isolation for untrusted BEAM execution — because correctness beats hope.

    DamageBDD/safe_peer’s past year of commit activity
    Erlang 0 Apache-2.0 0 0 0 Updated Jan 27, 2026
  • DamageBDD.com Public

    DamageBDD Product Page

    DamageBDD/DamageBDD.com’s past year of commit activity
    TeX 1 5 5 3 Updated Dec 26, 2025
  • rebar3_pkg Public

    Rebar3 package to generate and publish OTP applications

    DamageBDD/rebar3_pkg’s past year of commit activity
    Erlang 0 Apache-2.0 0 0 0 Updated Dec 17, 2025
  • damagebdd_book Public

    The DamageBDD Book

    DamageBDD/damagebdd_book’s past year of commit activity
    TeX 0 0 0 0 Updated Sep 29, 2025
  • GymApp Public

    GymApp For Gym

    DamageBDD/GymApp’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Aug 23, 2024

Top languages

Loading…

Most used topics

Loading…