A textbook on informal homotopy type theory
The gem behind http://csvlint.io
tiagofilipesilva/my-personal-kanban 0
This is a one page HTML/JavaScript application for people who would like to use simple and basic Kanban board for their personal stuff
Simple Android PDF viewer based on pdf.js and content providers. The app doesn't require any permissions. The PDF stream is fed into the sandboxed WebView without giving it access to content or files. CSP is used to enforce that the JavaScript and styling properties within the WebView are entirely static.
ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of files to many supported destinations you can choose from.
tiagofilipesilva/web-assembly-logo 0
Web Assembly (WASM) official logo
PR opened ShareX/ShareX
In this pull request several images used in ShareX's resources are optimized in a lossless way --- binary size shrinks, no quality loss.
pr created time in a day
push eventtiagofilipesilva/ShareX
commit sha 227f3452cab4275e6c7924ecd1eb47138ba57e22
Lossless optimized images Batch 8
push time in a day
push eventtiagofilipesilva/ShareX
commit sha 3349b40c7b8d5f4e2e1f55505798f437bc978cb7
Lossless optimized images Batch 7
push time in a day
push eventtiagofilipesilva/ShareX
commit sha 59072317a19252e8adb98e1e4cdf56a7c534a0f6
Lossless optimized images Batch 6
push time in a day
push eventtiagofilipesilva/ShareX
commit sha b1616be90db492ee16a4fde38fad3a0dcf43d3e2
Lossless optimized images Batch 5
push time in a day
push eventtiagofilipesilva/ShareX
commit sha ad06428a32f1b9f3cdca84fc3ebfa066104878cf
Lossless optimized images Batch 4
push time in a day
push eventtiagofilipesilva/ShareX
commit sha cc24a74a3ea50efcc4b0665b915278b3586dfad8
Lossless optimized images Batch 3
push time in a day
push eventtiagofilipesilva/ShareX
commit sha 45813613444730153dcb80268abcd07ce05624ed
Lossless optimized images Batch 2
push time in a day
push eventtiagofilipesilva/ShareX
commit sha 85e5c2034ef9c6678e4b28c756f222ec00a741b2
Lossless optimized images Batch 1
push time in a day
ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of files to many supported destinations you can choose from.
fork in a day
PR opened greggigon/my-personal-kanban
pr created time in 7 days
push eventtiagofilipesilva/my-personal-kanban
commit sha 53a04ba77d826acb5d8c21457c59b3a7a439b3e7
Add optimized theme images
push time in 7 days
push eventtiagofilipesilva/my-personal-kanban
commit sha 2ae20da529af03248c553e39b4418402f4a7e35d
Add optimized glyphicons
push time in 7 days
fork tiagofilipesilva/my-personal-kanban
This is a one page HTML/JavaScript application for people who would like to use simple and basic Kanban board for their personal stuff
fork in 7 days
pull request commentGrapheneOS/PdfViewer
Hi Daniel!
I used optipng first for a quick check, then Papa's Best Optimizer, which aggregates several lossless optimization tools. Heads-up: it takes a lot of time to process.
comment created time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 83362dae015f5e678c8b26085332288bdad21886
Lossless optimize mipmap-xxxhdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 2f43a85810fce88177e7019b120493f5d592b2ff
Lossless optimize mipmap-xxhdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 71bb02581eb7deb8994de36e85d94205ec210cc8
Lossless optimize mipmap-xhdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 7fd322bfc7c3eaf7d5a9963294c47b218bfcee50
Lossless optimization mipmap-mdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 7d47a6a403ce653618ab85c178342167921b17bf
Lossless optimize mipmap-hdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 18e3f1d56ffe9c1dbb2e893f9b1ae95bdb2afb0b
Lossless optimize mipmap-hdpi
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha a739e7a50b01caaa352b668ece0ecbd13aab0e20
Lossless optimize drawable-xxxhdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha c5c841e8d361d12ad0879a326e04b14b879c850f
Lossless optimize drawable-xxhdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 5bcdd43aa3c25c2c0af25dcb4cf25c01ecec9a12
Lossless optimize drawable-xhdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 76a701e6c6e19c02e6fbb69f63aa7298cb659287
Lossless optimize drawable-mdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 0bff8ed63721a7815fa7d5e972d509f7b2bf2685
Lossless optimize drawable-hdpi assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha 16c0293b8c87e3430349af8881b63da7c19c2beb
Lossless optimize main assets
push time in a month
push eventtiagofilipesilva/PdfViewer
commit sha dd48bd14edfbe8c8298859dace51e0c55d304e86
Lossless optimize graddle-wrapper.jar
push time in a month
fork tiagofilipesilva/PdfViewer
Simple Android PDF viewer based on pdf.js and content providers. The app doesn't require any permissions. The PDF stream is fed into the sandboxed WebView without giving it access to content or files. CSP is used to enforce that the JavaScript and styling properties within the WebView are entirely static.
fork in a month
startedGrapheneOS/branding_extra
started time in a month
startedGrapheneOS/PdfViewer
started time in a month
startedGrapheneOS/grapheneos.org
started time in a month
startedMidnightSprucePine/MidnightSprucePine-VSCodeTheme
started time in a month
startedSteveSandersonMS/CarChecker
started time in a month
A textbook on informal homotopy type theory
fork in a month
startedHoTT/book
started time in a month
PR opened corona-warn-app/cwa-documentation
These commits update the image files to a smaller but lossless version. Better ratios can be achieved with other tools, but I can't use them right now.
pr created time in 2 months
push eventtiagofilipesilva/cwa-documentation
commit sha c6b93fa1a1960509beb25f6a24d8bb7e9994be95
Lossless update android images
push time in 2 months
push eventtiagofilipesilva/cwa-documentation
commit sha 6f7b0969aa2894f9d949927a76381b47694d38ca
Lossless update ios images
push time in 2 months
push eventtiagofilipesilva/cwa-documentation
commit sha bbef92ab41b3e9ad4eeac3ff1b1f7d2bdf861e61
Lossless update ui screen images
push time in 2 months
push eventtiagofilipesilva/cwa-documentation
commit sha 67362acd8e09b3b553215fec1e25dd780ae6eee1
Lossless update title image
push time in 2 months
push eventtiagofilipesilva/cwa-documentation
commit sha b90571c4c0c379665bfb0464f18add0bbfdd6334
Lossless update german user journey image
push time in 2 months
push eventtiagofilipesilva/cwa-documentation
commit sha 99744512f9880434c746f436a52070948c526741
Lossless update user journey image
push time in 2 months
push eventtiagofilipesilva/cwa-documentation
commit sha c4955c1a601d1176630159961486ad31b05a121f
Lossless update components image
push time in 2 months
fork tiagofilipesilva/cwa-documentation
Project overview, general documentation, and white papers.
fork in 2 months
startedcorona-warn-app/cwa-documentation
started time in 2 months
startedcorona-warn-app/cwa-website
started time in 2 months
fork tiagofilipesilva/cwa-app-ios
Native iOS app using the exposure notification framework from Apple.
fork in 2 months
startedcorona-warn-app/cwa-app-ios
started time in 2 months
startedmicrosoft/terminal
started time in 2 months
startedmicrosoft/cascadia-code
started time in 2 months
fork tiagofilipesilva/cwa-documentation
Project overview, general documentation, and white papers.
fork in 2 months
startedlatex3/branding
started time in 2 months
startedlatex3/latex3.github.io
started time in 2 months
startedlatex3/babel
started time in 2 months
startedlatex3/latex3
started time in 2 months
PR opened myspaghetti/macos-virtualbox
This commit updates README.md with Markdown's best practices and accessibility tweaks.
pr created time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 614d1b490ed955a0c7a5ff71f90ba22b78b542c7
Update README.md This commit updates README.md with Markdown's best practices and accessibility tweaks.
push time in 2 months
fork tiagofilipesilva/macos-virtualbox
Push-button installer of macOS Catalina, Mojave, and High Sierra guests in Virtualbox for Windows, Linux, and macOS
fork in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 9f82aaf16e3a4a89e2e87dc39db774ef540fec16
Replace let builtin with arithmetic compound
push time in 2 months
PR merged tiagofilipesilva/macos-virtualbox
The arithmetic compound command should generally be preferred over let.
pr closed time in 2 months
PR opened tiagofilipesilva/macos-virtualbox
The arithmetic compound command should generally be preferred over let.
pr created time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha a0070f6807d1228961066e23fd034305a8a71c66
Replace let builtin with arithmetic compound
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 714019b34050749c10a7d9640a1b00a73d708056
First line in file should be a top level heading
commit sha ec2e7c15ba815f17e67e1ed90988f0690c4f052e
Replace header with strong text
commit sha 50bc76e622bb1478b85e804474b0aec4160227d5
Headers should be surrounded by blank lines
commit sha c17333df842f21c5299bb2e303f0395575df6b18
Remove trailing space
commit sha 9f5772a8845e5fe85032c750d63c39fe03448bf1
Fix header increment level
commit sha 22c6e6dae8db95731eb60f3daf033fbc386238a1
Add single newline file terminator
commit sha 26eebbab1ce9d98321fc60a321e06036a5db537b
Wrap spaces around keywords for better legibility
commit sha e84f6e607cc821ce835019504e2cc0949cf6a918
Fix typo and remove extra newline terminator
commit sha 152eddec02736796029ab897b0c113864bb19e4d
Merge pull request #1 from tiagofilipesilva/markdown Small fixes for Markdown
push time in 2 months
PR merged tiagofilipesilva/macos-virtualbox
pr closed time in 2 months
PR opened tiagofilipesilva/macos-virtualbox
pr created time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha e84f6e607cc821ce835019504e2cc0949cf6a918
Fix typo and remove extra newline terminator
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 26eebbab1ce9d98321fc60a321e06036a5db537b
Wrap spaces around keywords for better legibility
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 22c6e6dae8db95731eb60f3daf033fbc386238a1
Add single newline file terminator
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 9f5772a8845e5fe85032c750d63c39fe03448bf1
Fix header increment level
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha c17333df842f21c5299bb2e303f0395575df6b18
Remove trailing space
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 50bc76e622bb1478b85e804474b0aec4160227d5
Headers should be surrounded by blank lines
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha ec2e7c15ba815f17e67e1ed90988f0690c4f052e
Replace header with strong text
push time in 2 months
push eventtiagofilipesilva/macos-virtualbox
commit sha 714019b34050749c10a7d9640a1b00a73d708056
First line in file should be a top level heading
push time in 2 months
fork tiagofilipesilva/macos-virtualbox
Push-button installer of macOS Catalina, Mojave, and High Sierra guests in Virtualbox for Windows, Linux, and macOS
fork in 2 months
PR opened carlosbaraza/web-assembly-logo
The image files were optimized using advanced tools in order to achieve lossless file size reduction.
pr created time in 2 months
push eventtiagofilipesilva/web-assembly-logo
commit sha e59d423d45699f9531e71fa858a7efbe0af81734
Optimized images files The image files were optimized using advanced tools in order to achieve lossless file size reduction. There may be room for more improvement in the future.
push time in 2 months
startedAdrienTorris/awesome-blazor
started time in 2 months
startedvincentdoerig/latex-css
started time in 2 months
startedalif-type/libertinus
started time in 2 months
startedtwbs/icons
started time in 2 months
startedtwbs/bootstrap
started time in 2 months
starteddotnet/blazor
started time in 2 months
fork tiagofilipesilva/web-assembly-logo
Web Assembly (WASM) official logo
https://github.com/WebAssembly/design/issues/980#issuecomment-278086797
fork in 2 months
push eventtiagofilipesilva/sharpapp
commit sha 395f76b963f64735331f5f50ecd8ecf418015717
Lossless optimization of image files
push time in 2 months
pull request commentvincentdoerig/latex-css
How were the \LaTeX tables typset? With a default tabular environment?
comment created time in 2 months
fork tiagofilipesilva/sharpapp
💩⭐️🚀A #app with cutting edge technology to #minimize windows-10 telemetry and #maximize privacy plus many more
https://www.mirinsoft.com/ms-apps/sharpapp
fork in 2 months
pull request commentvincentdoerig/latex-css
Ah, fair enough I see your point now, like the usage of <b> and <em>. It makes sense, then.
You should cherry-pick the fixes in hyphens and make the table valid for HTML5.
comment created time in 2 months
issue openedvincentdoerig/latex-css
Heading of the abstract should be H2
The current heading of the abstract section is a H5 due to text-style concerns, but semantically it should be a H2.
created time in 2 months
pull request commentvincentdoerig/latex-css
It isn't and it does not comply with our accessibility standards.
comment created time in 2 months