BToolkit

Public

The BToolkit, a toolkit supporting software development with the B-method.

BSD 2-Clause "Simplified" License

Updated Feb 3, 2026

Created Jun 19, 2012

38 stars

10 forks

8 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

229 commits

1 commits

1 commits

Recent Stargazers

over 13 years ago

almost 13 years ago

almost 11 years ago

over 10 years ago

over 10 years ago

over 10 years ago

almost 10 years ago

over 9 years ago

over 9 years ago

almost 8 years ago

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 6

Open Issues7

Activity Peak

Most recent day with highest activityFeb 3, 2026 • 1 events

GitHub Analytics