tal topic
List
tal repositories
routinator
439
Stars
68
Forks
Watchers
An RPKI Validator and RTR server written in Rust
TOOD
306
Stars
34
Forks
Watchers
TOOD: Task-aligned One-stage Object Detection, ICCV2021 Oral
BERT-Transformer-Pytorch
40
Stars
7
Forks
Watchers
Basic implementation of BERT and Transformer in Pytorch in one short python file (also includes "predict next word" GPT task)
coq-tal
17
Stars
1
Forks
Watchers
Formalization of Typed Assembly Language (TAL) in Coq
roundup
32
Stars
11
Forks
Watchers
Mirror of http://hg.code.sf.net/p/roundup/code -- used for CI. Please visit https://issues.roundup-tracker.org to find starter issues or log new issues.