Name: António Leitão
Type: User
Company: Scuola Normale Superiore Pisa
Bio: Math • Machine Learning • Front End
Twitter: leitalhao
PhD student at Scuola Normale Superiore, Pisa
Applied Topology • Machine Learning • Researching whalespeak at CETI.
Mathematician by trade, webdev and frontend on the side.
List of projects and publications here.
antonio-leitao
Github profile page.
antonio-leitao.github.io
Personal Website
bib
Bibliography explorer and manager from the command line
caravela
challenge-iclr-2021
GitHub repository for the ICLR Computational Geometry & Topology Challenge 2021
components
A components library written in svelte. Mostly for personal use, learning and documentation.
dbsampler
Python library for efficient sampling of the decision boundary of high dimensional classification problems (binary or multiclass).
dot-benchmark
fandango
A tactful colorscheme for the modern coder.
gtda-challenge-2020
This is the repo for the Giotto-tda use-cases challenge 2020.
heron
homebrew-taps
Home for homebrew formulas
iconografia-portuguesa
Portuguese Iconography (Iconografia Portuguesa) is a database of designs and patterns representative of Portugal's culture and history. This repository aims to document, catalog and index these designs, making them accessible to the world, and to preserve this unique aspect of Portuguese culture for future generations.
jet
JET is a testing library for python aimed at being fast to set up, easy to use and above all pleasing to the eye. Because testing does not have to be a chore to set up, clutter the terminal or ugly to look at.
nau
Modular personal project manager CLI. Open, archive and create projects from templates.
nau-templates
Templates for various projects to be used with NAU project manager
paperstack
printing-press
A command line printing press for latex.
scribe
autodoc
tight-leash
tinydocs
TinyDocs is a lightweight and efficient solution for documenting Python code on Github, without the need for setting up and maintaining a separate website like readthedocs.
topological-data-analysis
Python package for topological data analysis written in Rust. Not limited to just H0 and H1.
udiph
UDiPH is a package that creates a new metric space where the points are uniformly sampled with respect to a global metric. It is oriented for creating Vietoris-Rips filtrations that are independent of the metric of the initial space.
vlmc
Variable Length Markov Chain
xai_croco
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
