RobertVillalba

Pinned Repositories

LTLMoP
A toolkit for designing and implementing LTL-based task specifications
Language:Python10
cvat
Powerful and efficient Computer Vision Annotation Tool (CVAT)
Language:TypeScript00
tusd
Reference server implementation in Go of tus: the open protocol for resumable file uploads
Language:Go00
vite
Next generation frontend tooling. It's fast!
Language:TypeScript69.6k6.3k
cvat
Annotate better with CVAT, the industry-leading data engine for machine learning. Used and trusted by teams at any scale, for data of any scale.
Language:Python12.9k3.1k
typespec
Language:Java4.6k226
form
🤖 Headless, performant, and type-safe form state management for TS/JS, React, Vue, Angular, Solid, and Lit.
Language:TypeScript3.9k355
tusd
Reference server implementation in Go of tus: the open protocol for resumable file uploads
Language:Go3.1k487
graphqxl
GraphQXL is a new language built on top of the GraphQL syntax that extends the original language with some additional features useful for creating scalable and big server side schemas. This repository contains the source code for the GraphQXL compiler.
Language:Rust2738
LTLMoP
A toolkit for designing and implementing LTL-based task specifications.
Language:Python5669

RobertVillalba's Repositories

RobertVillalba/tusd
Reference server implementation in Go of tus: the open protocol for resumable file uploads
Language:Go
RobertVillalba/cvat
Powerful and efficient Computer Vision Annotation Tool (CVAT)
RobertVillalba/LTLMoP
A toolkit for designing and implementing LTL-based task specifications
Language:Python1