jonesmartins

CS Undergrad @ UFRJ

Rio de Janeiro, Brazil

Pinned Repositories

spaCy
💫 Industrial-strength Natural Language Processing (NLP) in Python
Language:Python29.6k 560 5.6k4.4k
ccp
Envio de arquivos comprimidos em conexões paralelas
Language:Python00
dw_grupo9
Language:Python0 3 00
jonesmartins
00
pycrusher
Generate lossy image compressions for fun!
Language:Python2 2 70
vapyrwave
Turns text into ＶＡＰＯＲＷＡＶＥtext from the Terminal.
Language:Python5 2 00
tlauc
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
Language:Rust26 2 101
tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
Language:C57 4 469
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Language:TLA266 16 5537
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Language:Java2.3k 56 789193

jonesmartins's Repositories

jonesmartins/vapyrwave
Turns text into ＶＡＰＯＲＷＡＶＥtext from the Terminal.
Language:Python5 2 00
jonesmartins/pycrusher
Generate lossy image compressions for fun!
Language:Python2 2 70
jonesmartins/ccp
Envio de arquivos comprimidos em conexões paralelas
Language:Python00
jonesmartins/dw_grupo9
Language:Python0 3 00
jonesmartins/jonesmartins
00