vitor's repositories
json-parser
A Json parser in TypeScript
eslint-meteor-error
Eslint rule for MeteorJS to use only Meteor.Error constructor
todo-meteor
A ToDo CRUD App using MeteorJS
coq_theorems
Some Coq Theorems
simpletasks
Simple Tasks with Meteor + Chakra UI + RHF + MongoDB
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
surf-app-2
lala
comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Apache-2.0000
Language:TypeScript000
meteor-rpc
Meteor Methods Evolved
Language:TypeScript000
MIT000
rabbitmq-website
RabbitMQ website
Apache-2.0000
react-tutorial
React Tutorial is the best place to learn how to use React and Meteor together
Language:JavaScript000
Language:RustMIT000
Language:JavaScript000
Language:JavaScript000
wpp-playground
Whatsapp playground
000
zettelkasten
Thoughts and Ideas
Language:TypeScript000