An RPKI Validator and RTR server written in Rust

TOOD: Task-aligned One-stage Object Detection, ICCV2021 Oral

Basic implementation of BERT and Transformer in Pytorch in one short python file (also includes "predict next word" GPT task)

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.

Formalization of Typed Assembly Language (TAL) in Coq

[փ] Varvara/⋃⨉⋂ Tal OS.

[փ] Varvara/⋃⨉⋂ i18n Tal Assembler.

[փ] Varvara/⋃⨉⋂ UF1 and UF2 Terminus mono font in several sizes.

trying some stuffs about synonymy and other NLP stuffs...

A utility library which lets you use JSX Syntax in TAL (https://github.com/bbc/tal)

"Starting Forth" examples and exercises implemented in UXN Tal and UF Forth.

Exit strategies, used by TAL

[Mirror] A traditional Forth system for the Uxn virtual computer by Felix Winkelmann.

Logging strategies, used by TAL

Small template engine based on Zope TAL, using data attributes

Extractor for tal i18n translation attributes (port of perls I18NFool cpan package)

Mémoire pour le Master TNAH de l'ENC (2020)

Practical content for TAL (24/25) at HEIG-VD

Playground of destruction :-D

ZMS OpenStreetMap