Repositories list

• DamageBDD

  Public
  Behaviour Verification at Planetary Scale

  testinghttpqa+ 5

  testinghttpqaautomationbddblockchainseleniumlightpanda

  Erlang

  •

  Apache License 2.0

  •00 forks in DamageBDD/DamageBDD•44 stars in DamageBDD/DamageBDD•3131 issues in DamageBDD/DamageBDD•11 pull request in DamageBDD/DamageBDD•Updated Nov 3, 2026Nov 3, 2026

• rebar3_pkg

  Public
  Rebar3 package to generate and publish OTP applications

  Erlang

  •

  Apache License 2.0

  •00 forks in DamageBDD/rebar3_pkg•00 stars in DamageBDD/rebar3_pkg•00 issues in DamageBDD/rebar3_pkg•00 pull requests in DamageBDD/rebar3_pkg•Updated Oct 22, 2026Oct 22, 2026

• DamageBDD.com

  Public
  DamageBDD Product Page

  TeX

  •55 forks in DamageBDD/DamageBDD.com•11 star in DamageBDD/DamageBDD.com•55 issues in DamageBDD/DamageBDD.com•33 pull requests in DamageBDD/DamageBDD.com•Updated Oct 11, 2026Oct 11, 2026

• ecai_compiler

  Public
  ECAI elliptical compiler core in Erlang with C NIF acceleration for secp256k1 point operations, deterministic knowledge encoding, aggregation, retrieval-state r…

  C

  •

  GNU General Public License v3.0

  •00 forks in DamageBDD/ecai_compiler•00 stars in DamageBDD/ecai_compiler•00 issues in DamageBDD/ecai_compiler•00 pull requests in DamageBDD/ecai_compiler•Updated Jun 23, 2026Jun 23, 2026

• .github

  Public
  Behaviour verification at planetary scale.

  GNU General Public License v3.0

  •00 forks in DamageBDD/.github•00 stars in DamageBDD/.github•00 issues in DamageBDD/.github•00 pull requests in DamageBDD/.github•Updated Jun 20, 2026Jun 20, 2026

• safe_peer

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

  Erlang

  •

  Apache License 2.0

  •00 forks in DamageBDD/safe_peer•00 stars in DamageBDD/safe_peer•00 issues in DamageBDD/safe_peer•00 pull requests in DamageBDD/safe_peer•Updated May 30, 2026May 30, 2026

• damagebdd_book

  Public
  The DamageBDD Book

  TeX

  •00 forks in DamageBDD/damagebdd_book•00 stars in DamageBDD/damagebdd_book•00 issues in DamageBDD/damagebdd_book•00 pull requests in DamageBDD/damagebdd_book•Updated May 9, 2026May 9, 2026

• GymApp

  Public
  GymApp For Gym

  GNU General Public License v3.0

  •00 forks in DamageBDD/GymApp•00 stars in DamageBDD/GymApp•00 issues in DamageBDD/GymApp•00 pull requests in DamageBDD/GymApp•Updated Aug 23, 2024Aug 23, 2024