GitSocial · Repository PassportCOMPLETED · 2026-10-26Z

formal-algorithms-for-transformers jozef-javorsky-dodo · COMPLETED

PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238

github.com/jozef-javorsky-dodo/formal-algorithms-for-transformers · ★ 0 · Forks 0 · Size 95 KB

SUMMARY

Technologies 3
Scored 3
Observed 3
Practices 6
Evidence 3
Skips 0

COVERAGE

Analyzed 17 files · 50 commits · 0 API calls

TECHNOLOGIES & DEPTH

Markdown LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
12 files · PRODUCTION
NumPy LIBRARY Depth 53
1 files · PRODUCTION

PRACTICES

documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent

ACTIVITY & OWNERSHIP

First commit 2023-03-01
Last commit 2023-05-03
Active months 3
Commits 50

View on GitHub · GitSocial