PortalData (Official Repo of the Portal Project Data) and livedat (Template for living data workflow ).
Academic Torrents: We've designed a distributed system for sharing enormous datasets - for researchers, by researchers. The result is a scalable, secure, and fault-tolerant repository for data, with blazing fast download speeds.
(pt-br) divulgacaocientifica: Divulgação Científica - Essa é apenas uma lista PT-BR, o conteúdo dos podcasts/canais é de inteira responsabilidade dos autores.
Programming Z3: This tutorial provides a programmer's introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost all available features of Z3 and the essence of the underlying algorithms.
Platform Design is the repository including the text created by D. Cuartielles for his doctoral dissertation published by Malmo University Press in 2018.
CSIndexbr provides transparent data about Brazilian scientific production in Computer Science. We index full research papers published in selected conferences and journals.
pgFormatter: A PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI. On-line demo site
HikariCP: 光 HikariCP・A solid, high-performance, JDBC connection pool at last.
SeetSimilaritySearch: All-pair set similarity search on millions of sets in Python and on a laptop (faster than MinHash LSH)
Introducing Scylla Open Source 3.0: Scylla is an open source NoSQL database that offers the horizontal scale-out and fault-tolerance of Apache Cassandra, but delivers 10X the throughput and consistent, low single-digit latencies.
Computer Networking: Principles, Protocols and Practice is an open-source ebook that explains the main principles of Computer Networking and the key protocols that are used on the Internet.
small: Smallest possible syntactically valid files of different types.
Algorithms: this web page contains a free electronic version of my (soon to be) self-published textbook Algorithms, along with other lecture notes I have written for various theoretical computer science classes at the University of Illinois, Urbana-Champaign since 1998. github
Composing Programs: Welcome to Composing Programs, a free online introduction to programming and computer science.
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt: When considering the panel to discuss concurrency, you’d be pushed to find a higher calibre than Sir Tony Hoare, Joe Armstrong, and Carl Hewitt. All greats within the industry and beyond, over the past couple of weeks, we’ve been releasing their individual interviews; a storyboard into the lifeline of concurrency and models over the past few decades.
semantic: Parsing, analyzing, and comparing source code across many languages
LOOPY: a tool for thinking in systems. In a world filled with ever-more-complex technological, sociological, ecological, political & economic systems... a tool to make interactive simulations may not be that much help. But it can certainly try.
A gentle introduction to symbolic execution: In this article we’ll cover the basic idea behind symbolic execution, a powerful yet underutilized technique for static program analysis.
Languages: Here is the current list of the 3,503 computer languages I am actively tracking. I focus on tracking general purpose high-level programming languages, but also track low-level languages and some notable markup languages, protocols, file formats, libraries, and applications.
dev.to: Where programmers share ideas and help each other grow
Test Anything Protocol: TAP, the Test Anything Protocol, is a simple text-based interface between testing modules in a test harness. TAP started life as part of the test harness for Perl but now has implementations in C, C++, Python, PHP, Perl, Java, JavaScript, and others.
Exercism: Exercism exercises in functional programming languages like Clojure, Elixir, Elm, Haskell Scala, Lisp, Erlang, Purescript, F# or Scheme.
A review of consensus protocols: The consensus problem is a fundamental problem in multi-agent systems which requires a group of processes (or agents) to reliably and timely agree on a single data value.
gdbgui: Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.
The memkind library is a user extensible heap manager built on top of jemalloc which enables control of memory characteristics and a partitioning of the heap between kinds of memory.
mozilla rr: is a lightweight tool for recording, replaying and debugging execution of applications (trees of processes and threads). Debugging extends gdb with very efficient reverse-execution, which in combination with standard gdb/x86 features like hardware data watchpoints, makes debugging much more fun.
WinDbg-Samples: Sample extensions, scripts, and API uses for WinDbg.
CTML: A C++ HTML document constructor only depending on the C++ standard library.
CALLBACKS IN C++ USING TEMPLATE FUNCTORS: Callbacks are in wide use, however current implementations differ and most suffer from shortcomings, not the least of which is their lack of generality. This article describes what callbacks are, how they are used, and the criteria for a good callback mechanism. It summarizes current callback methods and their weaknesses. It then describes a flexible, powerful and easy-to-use callback technique based on template functors - objects that behave like functions.
Sebastian Aaltonen: Now that people have already said highly controversial stuff like ”debugger is useless for C++ development”, I think I can share my own controversial thoughts about unit testing, DRY, copy-paste coding and function length, etc... with 20 years of C++ programming experience.
lazyCode: C++14: bringing in those expressions that you wish you had, Lazily evaluated, compossible generators, maps, filters, ranges and more...
libpostal: A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
"Modern" C++ Lamentations: This will be a long wall of text, and kinda random! My main points are: C++ compile times are important,Non-optimized build performance is important and Cognitive load is important.
Bartek's coding blog: to write a professional C++ application, you not only need a basic text editor and a compiler. You require some more tooling. In this blog post, you’ll see a broad list of tools that make C++ programming possible: compilers, IDEs, debuggers and other.
Intel SPMD Program Compiler: ispc is a compiler for a variant of the C programming language, with extensions for "single program, multiple data" (SPMD) programming. Under the SPMD model, the programmer writes a program that generally appears to be a regular serial program, though the execution model is actually that a number of program instances execute in parallel on the hardware. github
cnp: Check Node Processor in VHDL for LDPC decoding.
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
Lahja is a generic multi process event bus implementation written in Python 3.6+ to enable lightweight inter-process communication, based on non-blocking asyncio
alive-progress: An animated and smart Progress Bar for python.
portray: is a Python3 command line tool and library that helps you create great documentation websites for your Python projects with as little effort as possible.
Pygments: is a generic syntax highlighter suitable for use in code hosting, forums, wikis or other applications that need to prettify source code.
python-sliders: Sliders for the Python mode of Processing
BeeWare Project: The BeeWare Project aims to take the power of Python as a language, and use it to enable users of all skill levels to develop applications with native user interfaces.
kivy: Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS.
austin: Python frame stack sampler for CPython. Austin has a tui: The top-like text-based user interface for Austin.
dafny: Dafny is a verification-aware programming language.
Clean:
Clean: Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. Some of its most notable language features are uniqueness typing, dynamic typing, and generic functions.
Elixir:
Nerves: Craft and deploy bulletproof embedded software in Elixir. official site
dialyxir: Mix tasks to simplify use of Dialyzer in Elixir projects.
Procyon: is a suite of Java metaprogramming tools, including a rich reflection API, a LINQ-inspired expression tree API for runtime code generation, and a Java decompiler.
yorlang: Yorlang is an esoteric programming language designed to write small programs using yoruba language constructs. It is the first of its kind and it can carry out basic programming operations in yoruba language (a language spoken in some parts of Nigeria ).
Fast Enough VMs in Fast Enough Time, Converge is a dynamically typed object orientated programming language with compile-time meta-programming facilities - put simply, Converge has a macro-like facility that can embed domain specific languages with arbitrary syntaxes into source files. Find out more.
Version Control
Meld: Meld is a visual diff and merge tool targeted at developers. Meld helps you compare files, directories, and version controlled projects. It provides two- and three-way comparison of both files and directories, and supports many version control systems including Git, Mercurial, Bazaar and Subversion.
.gitignore: A collection of useful .gitignore templates
24 Pull Requests: You’ve been benefiting from the use of open source projects all year. Now is the time to say thanks to the maintainers of those projects, and a little birdy tells me that they love receiving contributions!
(pt-br) github4nondevs: Guia introdutório de utilização básica da interface do github para pessoas não desenvolvedoras ou não interessadas em utilizar a interface de comandos do git.
Version Control Without Git: In this tutorial I’ll try to describe how git works, without using git. Instead, we’ll create a simple, git-like system using just zip files diff and patch.
Incompatible Timesharing System: ITS, the Incompatible Timesharing System, is an operating system for the PDP-10 computer family. It was created by hackers at MIT in the 1960s. The MIT site was shut down in 1990, but enthusiasts continue to operate ITS systems to this day.
GraalVM: GraalVM is a universal virtual machine for running applications written in JavaScript, Python, Ruby, R, JVM-based languages like Java, Scala, Clojure, Kotlin, and LLVM-based languages such as C and C++. GraalVM Implementation of Python
cookiecutter-flask: A flask template with Bootstrap 4, asset bundling+minification with webpack, starter templates, and registration/authentication. For use with cookiecutter.
cookiecutter-flask-restful: Flask cookiecutter template for builing APIs with flask-restful, including JWT auth, cli, tests, swagger, docker and more
CharmPy is a high-level parallel and distributed programming framework with a simple and powerful API, based on migratable Python objects and remote method invocation; built on top of an adaptive C/C++ runtime system providing speed, scalability and dynamic load balancing.
FASTER: Fast key-value store from Microsoft Research
porcupine: A fast linearizability checker written in Go
DrTLAPlus: learn an algorithm and protocol, study a specification
White Rabbit: White Rabbit provides sub-nanosecond accuracy and picoseconds precision of synchronization for large distributed systems.
Pattern Recognition
annoy: Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk
tesseract: Tesseract Open Source OCR Engine (main repository)
pampy: The Pattern Matching for Python you always dreamed of.
EasyOCR: Ready-to-use OCR with 40+ languages supported including Chinese, Japanese, Korean and Thai.
Artificial Intelligence
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Which Face Is Real?: Our aim is to make you aware of the ease with which digital identities can be faked, and to help you spot these fakes at a single glance.
faceswap: Non official project based on original /r/Deepfakes thread. Many thanks to him!
DeepFakes: Implementation of Deep Fakes algorithm, in tensorflow
DeepFaceLab: is a tool that utilizes machine learning to replace faces in videos. Includes prebuilt ready to work standalone Windows 7,8,10 binary (look readme.md).
libfacedetection: An open source library for face detection in images. The face detection speed can reach 1500FPS.
SPADE: Semantic Image Synthesis with Spatially-Adaptive Normalization - paper
Primers • AI: Here’s a hand-picked selection of articles on AI fundamentals/concepts that cover the entire process of building neural nets to training them to evaluating results.
HTML5 Genetic Cars: The program uses a simple genetic algorithm to evolve random two-wheeled shapes into cars over generations. Loosely based on BoxCar2D, but written from scratch, only using the same physics engine (box2d). seedrandom.js written by David Bau.
StanfordNLP: StanfordNLP is the combination of the software package used by the Stanford team in the CoNLL 2018 Shared Task on Universal Dependency Parsing, and the group’s official Python interface to the Stanford CoreNLP software.
spaCy + StanfordNLP:💥 Use the latest StanfordNLP research models directly in spaCy.
allennlp: An open-source NLP research library, built on PyTorch.
Distributed Translation Infrastructure: The distributed statistical machine translation infrastructure consisting of load balancing, text pre/post-processing and translation services. Written in C++ 11 and utilises multicore CPUs by employing multi-threading, allows for secure SSL/TLS communications.
Attention Mechanism: In this article, I will be covering the main concepts behind Attention, including an implementation of a sequence-to-sequence Attention model, followed by the application of Attention in Transformers and how they can be used for state-of-the-art results.
Transformers: State-of-the-art Natural Language Processing for TensorFlow 2.0 and PyTorch.
ToTTo: ToTTo is an open-domain English table-to-text dataset with over 120,000 training examples that proposes a controlled generation task: given a Wikipedia table and a set of highlighted table cells, produce a one-sentence description. We hope it can serve as a useful research benchmark for high-precision conditional text generation.
I Write Like: Check which famous writer you write like with this statistical analysis tool, which analyzes your word choice and writing style and compares them with those of the famous writers.
entity-embed: Transform entities like companies, products, etc. into vectors to support scalable Record Linkage / Entity Resolution using Approximate Nearest Neighbors.
google-10000-english: This repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.
Real-Time Voice Cloning: Clone a voice in 5 seconds to generate arbitrary speech in real-time
Autocompletion with deep learning: TL;DR: TabNine is an autocompleter that helps you write code faster. We’re adding a deep learning model which significantly improves suggestion quality.
awesome-edge-machine-learning: A curated list of awesome edge machine learning resources, including research papers, inference engines, challenges, books, meetups and others.
DeepSpeech: is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.
vosk-api: Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node.
Dlib is a modern C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems.
CFU Playground: Want a faster ML processor? Do it yourself! -- A framework for playing with custom opcodes to accelerate TensorFlow Lite for Microcontrollers (TFLM).
DeepLabCut: is an efficient method for 3D markerless pose estimation based on transfer learning with deep neural networks that achieves excellent results (i.e. you can match human labeling accuracy) with minimal training data (typically 50-200 frames). repo
DatasetGAN: Efficient Labeled Data Factory with Minimal Human Effort
AffectiveSpotlight: Facilitating the Communication of Affective Responses from Audience Members during Online Presentations.
NEST: NEST is a simulator for spiking neural network models that focuses on the dynamics, size and structure of neural systems rather than on the exact morphology of individual neurons.
tensorspace: Neural network 3D visualization framework, build interactive and intuitive model in browsers, support pre-trained deep learning models from TensorFlow, Keras, TensorFlow.js
L2 Regularization and Batch Norm: In particular, when used together with batch normalization in a convolutional neural net with typical architectures, an L2 objective penalty no longer has its original regularizing effect. Instead it becomes essentially equivalent to an adaptive adjustment of the learning rate!
Stable Diffusion: is a latent text-to-image diffusion model. Thanks to a generous compute donation from Stability AI and support from LAION, we were able to train a Latent Diffusion Model on 512x512 images from a subset of the LAION-5B database.
reconhecimento-expressao-facial-debate: Código para a matéria que analisa as expressões faciais dos candidatos à Presidência de 2018 durante o debate realizado na TV Gazeta
tinygrad: You like pytorch? You like micrograd? You love tinygrad! ❤️
vid2vid: Pytorch implementation of our method for high-resolution (e.g. 2048x1024) photorealistic video-to-video translation.
pytorch-kaldi is a project for developing state-of-the-art DNN/RNN hybrid speech recognition systems. The DNN part is managed by pytorch, while feature extraction, label computation, and decoding are performed with the kaldi toolkit.
nnAudio: Audio processing by using pytorch 1D convolution network
BERT: TensorFlow code and pre-trained models for BERT
CleverHans: An adversarial example library for constructing attacks, building defenses, and benchmarking both
tensorFlow Privacy: Library for training machine learning models with privacy for training data
Ludwig: is a toolbox built on top of TensorFlow that allows to train and test deep learning models without the need to write code.
TensorFlow is dead, long live TensorFlow!: If you’re an AI enthusiast and you didn’t see the big news this month, you might have just snoozed through an off-the-charts earthquake. Everything is about to change!
Machine Learning Notebooks: A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
nonsemantic-speech-benchmark/frill: FRILL is a non-semantic speech embedding model presented in "FRILL: A Non-Semantic Speech Embedding for Mobile Devices". It is fast enough to run in real-time on a mobile device and exhibits minimal performance degradation on a benchmark of non-semantic speech tasks.
nonsemantic-speech-benchmark/frill-nofrontend: FRILL is a non-semantic speech embedding model presented in "FRILL: A Non-Semantic Speech Embedding for Mobile Devices". It is fast enough to run in real-time on a mobile device and exhibits minimal performance degradation on a benchmark of non-semantic speech tasks.
Math
Good channels:
3blue1brown: 3blue1brown, by Grant Sanderson, is some combination of math and entertainment, depending on your disposition (site) and manim(Animation engine for explanatory math videos).
LeiosOS: I'm starting a new project, and I hope you guys find it useful! It's called the arcane algorithm archive and is an archive to all the arcane algorithms we cover. site and github.
Free-Math: An offline React web application for managing digital math homework
Complex polynomial toy: an interactive program for domain coloring of polynomials and for experimenting with the idea behind a proof that very non-constant polynomial has at least one complex root.
Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve. (dica da pgrangeiro)
fxsolver: a free algebraic equation solver coupled to a large formula database, based on the need to quickly solve mathematical formulas without messing around with programming languages or spreadsheet software.
Prime Design: The goal of this post is to use prime numbers to make interesting and asymmetric graphics, and to do so in the context of the web design language CSS.
Logipedia is a library of proofs expressed in Dedukti.
Viviani: Viviani's theorem states that the sum of the distances from any interior point to the sides of an equilateral triangle equals the length of the triangle's altitude.
Interactive Linear Algebra: Linear: having to do with lines, planes, etc. Algebra: solving equations involving unknowns. repo
Pattern Matching: Pattern matching is a widely adoptedmechanism across many programming languages to interact with algebraic data types that can help greatlysimplify C++.
pycm: Multi-class confusion matrix library in Python.
SparseP: is the first open-source Sparse Matrix Vector Multiplication (SpMV) software package for real-world Processing-In-Memory (PIM) architectures. SparseP is developed to evaluate and characterize the first publicly-available real-world PIM architecture, the UPMEM PIM architecture. Described by C. Giannoula et al.
anomaly detection: A collection of popular anomaly detection methods (iid/point-based and time series) including active learning for anomaly detection/discovery, description for diversity/explanation/interpretability. With a deeper analysis of incorporating label feedback with ensemble and tree-based detectors. Includes results-plots and illustrations for most approaches covered.
COVARIANCE: DIFFERENT WAYS TO EXPLAIN OR VISUALIZE IT
Seeing Theory: was created by Daniel Kunin while an undergraduate at Brown University. The goal of this website is to make statistics more accessible through interactive visualizations (designed using Mike Bostock’s JavaScript library D3.js).
Data Carpentry develops and teaches workshops on the fundamental data skills needed to conduct research.
(pt-br) genero-ruas-mapa: Mapa interativo de gênero de ruas brasileiras usando vector tiles
(pt-br) code:Nation Uma startup de Florianópolis, Santa Catarina, apaixonada por ajudar desenvolvedores de software a darem os próximos passos de suas jornadas em direção à carreira que desejam alcançar.
spyder: Official repository for Spyder - The Scientific Python Development Environment
RAPIDS: Open GPU Data Science. The RAPIDS suite of software libraries gives you the freedom to execute end-to-end data science and analytics pipelines entirely on GPUs. It relies on NVIDIA® CUDA® primitives for low-level compute optimization, but exposes that GPU parallelism and high-bandwidth memory speed through user-friendly Python interfaces. cuml - RAPIDS Machine Learning Library.
RVerbalExpressions: 👷💬 Create regular expressions easilt. RVerbalExpressions: The goal of RVerbalExpressions is to make it easier to construct regular expressions using grammar and functionality inspired by VerbalExpressions.
insight: Easy access to model information for various model objects.
introdatasci: Course materials for: Introduction to Data Science and Programming
Luna is a data processing and visualization environment built on a principle that people need an immediate connection to what they are building. github repo, studio (IDE) and docs
Python:
termgraph: a python command-line tool which draws basic graphs in the terminal
arviz: Python package to plot and analyse samples from probabilistic models
Data Science with Python: Exploratory Analysis with Movie-Ratings and Fraud Detection with Credit-Card Transactions.
pyjanitor: Python implementation of R package Janitor
ffscrapr: An R Client for Fantasy Football League APIs. repo
Static and dynamic network visualization with R: This is a comprehensive tutorial on network visualization with R. It covers data input and formats, visualization basics, parameters and layouts for one-mode and bipartite graphs; dealing with multiplex links, interactive and animated visualization for longitudinal networks; and visualizing networks on geographic maps.
(pt-br) ATLAS DO ESTADO BRASILEIRO: é uma plataforma de dados integrados sobre a estrutura organizacional e de pessoal do Estado brasileiro, em seus três níveis da administração – federal, estadual e municipal.
Guesstimate: is a spreadsheet tool that helps you model and forecast uncertain quantities.
climatedata: Repository to hold function for retrieving climate data (currently only CHELSA clim). Migrate later to new repo.
Inside Airbnb: Inside Airbnb is an independent, non-commercial set of tools and data that allows you to explore how Airbnb is really being used in cities around the world.
OpenSubdiv (github): is a set of open source libraries that implement high performance subdivision surface (subdiv) evaluation on massively parallel CPU and GPU architectures.
How the Virus Won: Invisible outbreaks sprang up everywhere. The United States ignored the warning signs. We analyzed travel patterns, hidden infections and genetic data to show how the epidemic spun out of control.
Goodwill.com Hunting: A Graphical Analysis of Women's Tops Sold on Goodwill's Website.
see Visualisation toolbox for beautiful and publication-ready figures
Hopf fibration: In the mathematical field of differential topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere.
Spectrum: Spectrum is a cross-platform image transcoding library that can easily be integrated into an Android or iOS project to efficiently perform common image operations.
bild: A collection of parallel image processing algorithms in pure Go
jax: Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
hard-comp-fi-fiction-list: This resource lists a bunch of stories which in some way, explore the beautiful ideas behind computer science, software engineering and even plain old programming.
Sonic Visualiser is a free, open-source application for Windows, Linux, and Mac, designed to be the first program you reach for when want to study a music recording closely. It's designed for musicologists, archivists, signal-processing researchers, and anyone else looking for a friendly way to look at what lies inside the audio file. github repo
tsParticles: Easily add particles animations to your website. Compatible also with React, Vue.js (2.x and 3.x), Angular, Svelte, jQuery, Preact, Inferno.
Radio
gqrx: is an open source software defined radio receiver (SDR) powered by the GNU Radio and the Qt graphical toolkit. Gqrx
AstroML: Machine learning, statistics, and data mining for astronomy and astrophysics
The Atlas of Space: Behold Brilliant Maps of Constellations, Asteroids, Planets & “Everything in the Solar System Bigger Than 10km”. by tabletop whale
GraceDbBot: A Telegram bot which you can use to get information on gravitational wave events from LIGO/Virgo.
ipgeolocation Astronomy API: The ipgeolocation Astronomy API provides timings for astronomical events including sunrise, sunset, moonrise, moonset, sun azimuth, moon azimuth, sun altitude, moon altitude, sun distance from the earth, and moon distance from the earth.
Tindallgrams: In 1966, as the American space program was working furiously towards a moon landing, Howard W. “Bill” Tindall, Jr., an expert on orbital mechanics, was sent by NASA to MIT to oversee the development of software for the spacecraft guidance systems.
Open MCT: is a next-generation mission control framework for visualization of data on desktop and mobile devices - github
Sawppy: is a motorized model of Mars rovers Curiosity and Mars 2020. It faithfully reproduces the Rocker-Bogie suspension kinematics of real rovers and is intended to be a hardware platform for future software projects in autonomous operation. Go forth and boldly explore the back yard, Sawppy!
(pt-br) Alquimia Cósmica: Este curso se baseia em proposta original de minicurso criada pelo proponente, em 2014, como parte de suas atividades de ensino, pesquisa e extensão realizadas no Instituto de Física da Universidade Federal do Rio Grande do Sul.
MNE-Python: Magnetoencephalography (MEG) and Electroencephalography (EEG) in Python
The Precautionary Principle: The PP within the statistical and probabilistic structure of “ruin” problems. Applies but not limited to transgenics(GMOs).
nCoV2019: Location for summaries and analyses of data related to n-CoV 2019, first reported in Wuhan, China.
baltic: backronymed adaptable lightweight tree import code for molecular phylogeny manipulation, analysis and visualisation. Development is back on the evogytis/baltic branch (i.e. here).
Seraphim: Studying Environmental Rasters And PHylogenetically Informed Movements. seraphim is a R package for studying environmental rasters and phylogenetic informed movements
Weeklong improved colour contrasts sensitivity after single 670 nm exposures associated with enhanced mitochondrial function: Mitochondrial decline in ageing robs cells of ATP. However, animal studies show that long wavelength exposure (650–900 nm) over weeks partially restores ATP and improves function. The likely mechanism is via long wavelengths reducing nanoscopic interfacial water viscosity around ATP rota pumps, improving their efficiency. Recently, repeated 670 nm exposures have been used on the aged human retina, which has high-energy demands and significant mitochondrial and functional decline, to improve vision. We show here that single 3 min 670 nm exposures, at much lower energies than previously used, are sufficient to significantly improve for 1 week cone mediated colour contrast thresholds (detection) in ageing populations (37–70 years) to levels associated with younger subjects. But light needs to be delivered at specific times. In environments with artificial lighting humans are rarely dark-adapted, hence cone function becomes critical. This intervention, demonstrated to improve aged mitochondrial function can be applied to enhance colour vision in old age.
Wageningen University & Research Image Collections offers an overview of image collections from Wageningen University & Research units. You can search each collection separately, or perform searches on all collections at once. Plants & Root System Drawings.
S2Geometry: S2 is a library for spherical geometry that aims to have the same robustness, flexibility, and performance as the very best planar geometry libraries github.
plus codes. open-location-code: Open Location Code is a library to generate short codes that can be used like street addresses, for places where street addresses don't exist.
EO Browser: A complete archive of Sentinel-1, Sentinel-2, Sentinel-3, Sentinel-5P, ESA’s archive of Landsat 5, 7 and 8, global coverage of Landsat 8, Envisat Meris, MODIS, Proba-V and GIBS products in one place.
ærialbot: A simple yet highly configurable bot that tweets geotagged aerial imagery of a random location in the world.
Red Herring: It was the early 80s, the height of the Cold War, when something strange began happening off the coast of Sweden. The navy reported a mysterious sound deep below the surface of the ocean.
Rosalind is a platform for learning bioinformatics and programming through problem solving.
Humanities
Civic honesty around the globe: Rationalist approaches to economics assume that people value their own interests over the interests of strangers. Cohn et al. wanted to examine the trade-off between material self-interest and more altruistic behaviors (see the Perspective by Shalvi).
Trouble on the Horizon: Forecasting the Derailment of Online Conversations as they Develop
AD.Watch: challenges the closedness of access to political advertising information. The project compiles datasets of political ads on Facebook and Instagram and creates interfaces for their use, with a view to opening up the possibilities for its study. With ad.watch, you can explore both country-specific contextual issues and political strategies, as well as broader questions about the power of persuasion that the use of personal data facilitates.
DeepDiveDuck: Monitor Website Changes for Competitor Intelligence.
(pt-br) Parlametria: O Parlametria surgiu do esforço de organizações que trabalham com o monitoramento do legislativo para traduzir e dar sentido a essa massa de dados, de forma que a sociedade civil possa acompanhar e influenciar os debates que acontecem no Congresso Nacional.
Postbag: Find journalists, bloggers and webmasters covering your niche.
High quality audio makes you sound smarter: People rated a physicist’s talk as 19.3% better when they listened to it in high (vs low) audio quality. They also thought he was smarter and liked him more.
PortalData (Official Repo of the Portal Project Data) and livedat (Template for living data workflow ).
Academic Torrents: We've designed a distributed system for sharing enormous datasets - for researchers, by researchers. The result is a scalable, secure, and fault-tolerant repository for data, with blazing fast download speeds.
(pt-br) divulgacaocientifica: Divulgação Científica - Essa é apenas uma lista PT-BR, o conteúdo dos podcasts/canais é de inteira responsabilidade dos autores.
Programming Z3: This tutorial provides a programmer's introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost all available features of Z3 and the essence of the underlying algorithms.
Platform Design is the repository including the text created by D. Cuartielles for his doctoral dissertation published by Malmo University Press in 2018.
CSIndexbr provides transparent data about Brazilian scientific production in Computer Science. We index full research papers published in selected conferences and journals.
pgFormatter: A PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI. On-line demo site
HikariCP: 光 HikariCP・A solid, high-performance, JDBC connection pool at last.
SeetSimilaritySearch: All-pair set similarity search on millions of sets in Python and on a laptop (faster than MinHash LSH)
Introducing Scylla Open Source 3.0: Scylla is an open source NoSQL database that offers the horizontal scale-out and fault-tolerance of Apache Cassandra, but delivers 10X the throughput and consistent, low single-digit latencies.
Computer Networking: Principles, Protocols and Practice is an open-source ebook that explains the main principles of Computer Networking and the key protocols that are used on the Internet.
small: Smallest possible syntactically valid files of different types.
Algorithms: this web page contains a free electronic version of my (soon to be) self-published textbook Algorithms, along with other lecture notes I have written for various theoretical computer science classes at the University of Illinois, Urbana-Champaign since 1998. github
Composing Programs: Welcome to Composing Programs, a free online introduction to programming and computer science.
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt: When considering the panel to discuss concurrency, you’d be pushed to find a higher calibre than Sir Tony Hoare, Joe Armstrong, and Carl Hewitt. All greats within the industry and beyond, over the past couple of weeks, we’ve been releasing their individual interviews; a storyboard into the lifeline of concurrency and models over the past few decades.
semantic: Parsing, analyzing, and comparing source code across many languages
LOOPY: a tool for thinking in systems. In a world filled with ever-more-complex technological, sociological, ecological, political & economic systems... a tool to make interactive simulations may not be that much help. But it can certainly try.
A gentle introduction to symbolic execution: In this article we’ll cover the basic idea behind symbolic execution, a powerful yet underutilized technique for static program analysis.
Languages: Here is the current list of the 3,503 computer languages I am actively tracking. I focus on tracking general purpose high-level programming languages, but also track low-level languages and some notable markup languages, protocols, file formats, libraries, and applications.
dev.to: Where programmers share ideas and help each other grow
Test Anything Protocol: TAP, the Test Anything Protocol, is a simple text-based interface between testing modules in a test harness. TAP started life as part of the test harness for Perl but now has implementations in C, C++, Python, PHP, Perl, Java, JavaScript, and others.
Exercism: Exercism exercises in functional programming languages like Clojure, Elixir, Elm, Haskell Scala, Lisp, Erlang, Purescript, F# or Scheme.
A review of consensus protocols: The consensus problem is a fundamental problem in multi-agent systems which requires a group of processes (or agents) to reliably and timely agree on a single data value.
gdbgui: Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.
The memkind library is a user extensible heap manager built on top of jemalloc which enables control of memory characteristics and a partitioning of the heap between kinds of memory.
mozilla rr: is a lightweight tool for recording, replaying and debugging execution of applications (trees of processes and threads). Debugging extends gdb with very efficient reverse-execution, which in combination with standard gdb/x86 features like hardware data watchpoints, makes debugging much more fun.
WinDbg-Samples: Sample extensions, scripts, and API uses for WinDbg.
CTML: A C++ HTML document constructor only depending on the C++ standard library.
CALLBACKS IN C++ USING TEMPLATE FUNCTORS: Callbacks are in wide use, however current implementations differ and most suffer from shortcomings, not the least of which is their lack of generality. This article describes what callbacks are, how they are used, and the criteria for a good callback mechanism. It summarizes current callback methods and their weaknesses. It then describes a flexible, powerful and easy-to-use callback technique based on template functors - objects that behave like functions.
Sebastian Aaltonen: Now that people have already said highly controversial stuff like ”debugger is useless for C++ development”, I think I can share my own controversial thoughts about unit testing, DRY, copy-paste coding and function length, etc... with 20 years of C++ programming experience.
lazyCode: C++14: bringing in those expressions that you wish you had, Lazily evaluated, compossible generators, maps, filters, ranges and more...
libpostal: A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
"Modern" C++ Lamentations: This will be a long wall of text, and kinda random! My main points are: C++ compile times are important,Non-optimized build performance is important and Cognitive load is important.
Bartek's coding blog: to write a professional C++ application, you not only need a basic text editor and a compiler. You require some more tooling. In this blog post, you’ll see a broad list of tools that make C++ programming possible: compilers, IDEs, debuggers and other.
Intel SPMD Program Compiler: ispc is a compiler for a variant of the C programming language, with extensions for "single program, multiple data" (SPMD) programming. Under the SPMD model, the programmer writes a program that generally appears to be a regular serial program, though the execution model is actually that a number of program instances execute in parallel on the hardware. github
cnp: Check Node Processor in VHDL for LDPC decoding.
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
Lahja is a generic multi process event bus implementation written in Python 3.6+ to enable lightweight inter-process communication, based on non-blocking asyncio
alive-progress: An animated and smart Progress Bar for python.
portray: is a Python3 command line tool and library that helps you create great documentation websites for your Python projects with as little effort as possible.
Pygments: is a generic syntax highlighter suitable for use in code hosting, forums, wikis or other applications that need to prettify source code.
python-sliders: Sliders for the Python mode of Processing
BeeWare Project: The BeeWare Project aims to take the power of Python as a language, and use it to enable users of all skill levels to develop applications with native user interfaces.
kivy: Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS.
austin: Python frame stack sampler for CPython. Austin has a tui: The top-like text-based user interface for Austin.
dafny: Dafny is a verification-aware programming language.
Clean:
Clean: Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. Some of its most notable language features are uniqueness typing, dynamic typing, and generic functions.
Elixir:
Nerves: Craft and deploy bulletproof embedded software in Elixir. official site
dialyxir: Mix tasks to simplify use of Dialyzer in Elixir projects.
Procyon: is a suite of Java metaprogramming tools, including a rich reflection API, a LINQ-inspired expression tree API for runtime code generation, and a Java decompiler.
yorlang: Yorlang is an esoteric programming language designed to write small programs using yoruba language constructs. It is the first of its kind and it can carry out basic programming operations in yoruba language (a language spoken in some parts of Nigeria ).
Fast Enough VMs in Fast Enough Time, Converge is a dynamically typed object orientated programming language with compile-time meta-programming facilities - put simply, Converge has a macro-like facility that can embed domain specific languages with arbitrary syntaxes into source files. Find out more.
Version Control
Meld: Meld is a visual diff and merge tool targeted at developers. Meld helps you compare files, directories, and version controlled projects. It provides two- and three-way comparison of both files and directories, and supports many version control systems including Git, Mercurial, Bazaar and Subversion.
.gitignore: A collection of useful .gitignore templates
24 Pull Requests: You’ve been benefiting from the use of open source projects all year. Now is the time to say thanks to the maintainers of those projects, and a little birdy tells me that they love receiving contributions!
(pt-br) github4nondevs: Guia introdutório de utilização básica da interface do github para pessoas não desenvolvedoras ou não interessadas em utilizar a interface de comandos do git.
Version Control Without Git: In this tutorial I’ll try to describe how git works, without using git. Instead, we’ll create a simple, git-like system using just zip files diff and patch.
Incompatible Timesharing System: ITS, the Incompatible Timesharing System, is an operating system for the PDP-10 computer family. It was created by hackers at MIT in the 1960s. The MIT site was shut down in 1990, but enthusiasts continue to operate ITS systems to this day.
GraalVM: GraalVM is a universal virtual machine for running applications written in JavaScript, Python, Ruby, R, JVM-based languages like Java, Scala, Clojure, Kotlin, and LLVM-based languages such as C and C++. GraalVM Implementation of Python
cookiecutter-flask: A flask template with Bootstrap 4, asset bundling+minification with webpack, starter templates, and registration/authentication. For use with cookiecutter.
cookiecutter-flask-restful: Flask cookiecutter template for builing APIs with flask-restful, including JWT auth, cli, tests, swagger, docker and more
CharmPy is a high-level parallel and distributed programming framework with a simple and powerful API, based on migratable Python objects and remote method invocation; built on top of an adaptive C/C++ runtime system providing speed, scalability and dynamic load balancing.
FASTER: Fast key-value store from Microsoft Research
porcupine: A fast linearizability checker written in Go
DrTLAPlus: learn an algorithm and protocol, study a specification
White Rabbit: White Rabbit provides sub-nanosecond accuracy and picoseconds precision of synchronization for large distributed systems.
Pattern Recognition
annoy: Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk
tesseract: Tesseract Open Source OCR Engine (main repository)
pampy: The Pattern Matching for Python you always dreamed of.
EasyOCR: Ready-to-use OCR with 40+ languages supported including Chinese, Japanese, Korean and Thai.
Artificial Intelligence
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Which Face Is Real?: Our aim is to make you aware of the ease with which digital identities can be faked, and to help you spot these fakes at a single glance.
faceswap: Non official project based on original /r/Deepfakes thread. Many thanks to him!
DeepFakes: Implementation of Deep Fakes algorithm, in tensorflow
DeepFaceLab: is a tool that utilizes machine learning to replace faces in videos. Includes prebuilt ready to work standalone Windows 7,8,10 binary (look readme.md).
libfacedetection: An open source library for face detection in images. The face detection speed can reach 1500FPS.
SPADE: Semantic Image Synthesis with Spatially-Adaptive Normalization - paper
Primers • AI: Here’s a hand-picked selection of articles on AI fundamentals/concepts that cover the entire process of building neural nets to training them to evaluating results.
HTML5 Genetic Cars: The program uses a simple genetic algorithm to evolve random two-wheeled shapes into cars over generations. Loosely based on BoxCar2D, but written from scratch, only using the same physics engine (box2d). seedrandom.js written by David Bau.
StanfordNLP: StanfordNLP is the combination of the software package used by the Stanford team in the CoNLL 2018 Shared Task on Universal Dependency Parsing, and the group’s official Python interface to the Stanford CoreNLP software.
spaCy + StanfordNLP:💥 Use the latest StanfordNLP research models directly in spaCy.
allennlp: An open-source NLP research library, built on PyTorch.
Distributed Translation Infrastructure: The distributed statistical machine translation infrastructure consisting of load balancing, text pre/post-processing and translation services. Written in C++ 11 and utilises multicore CPUs by employing multi-threading, allows for secure SSL/TLS communications.
Attention Mechanism: In this article, I will be covering the main concepts behind Attention, including an implementation of a sequence-to-sequence Attention model, followed by the application of Attention in Transformers and how they can be used for state-of-the-art results.
Transformers: State-of-the-art Natural Language Processing for TensorFlow 2.0 and PyTorch.
ToTTo: ToTTo is an open-domain English table-to-text dataset with over 120,000 training examples that proposes a controlled generation task: given a Wikipedia table and a set of highlighted table cells, produce a one-sentence description. We hope it can serve as a useful research benchmark for high-precision conditional text generation.
I Write Like: Check which famous writer you write like with this statistical analysis tool, which analyzes your word choice and writing style and compares them with those of the famous writers.
entity-embed: Transform entities like companies, products, etc. into vectors to support scalable Record Linkage / Entity Resolution using Approximate Nearest Neighbors.
google-10000-english: This repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.
Real-Time Voice Cloning: Clone a voice in 5 seconds to generate arbitrary speech in real-time
Autocompletion with deep learning: TL;DR: TabNine is an autocompleter that helps you write code faster. We’re adding a deep learning model which significantly improves suggestion quality.
awesome-edge-machine-learning: A curated list of awesome edge machine learning resources, including research papers, inference engines, challenges, books, meetups and others.
DeepSpeech: is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.
vosk-api: Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node.
Dlib is a modern C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems.
CFU Playground: Want a faster ML processor? Do it yourself! -- A framework for playing with custom opcodes to accelerate TensorFlow Lite for Microcontrollers (TFLM).
DeepLabCut: is an efficient method for 3D markerless pose estimation based on transfer learning with deep neural networks that achieves excellent results (i.e. you can match human labeling accuracy) with minimal training data (typically 50-200 frames). repo
DatasetGAN: Efficient Labeled Data Factory with Minimal Human Effort
AffectiveSpotlight: Facilitating the Communication of Affective Responses from Audience Members during Online Presentations.
NEST: NEST is a simulator for spiking neural network models that focuses on the dynamics, size and structure of neural systems rather than on the exact morphology of individual neurons.
tensorspace: Neural network 3D visualization framework, build interactive and intuitive model in browsers, support pre-trained deep learning models from TensorFlow, Keras, TensorFlow.js
L2 Regularization and Batch Norm: In particular, when used together with batch normalization in a convolutional neural net with typical architectures, an L2 objective penalty no longer has its original regularizing effect. Instead it becomes essentially equivalent to an adaptive adjustment of the learning rate!
Stable Diffusion: is a latent text-to-image diffusion model. Thanks to a generous compute donation from Stability AI and support from LAION, we were able to train a Latent Diffusion Model on 512x512 images from a subset of the LAION-5B database.
reconhecimento-expressao-facial-debate: Código para a matéria que analisa as expressões faciais dos candidatos à Presidência de 2018 durante o debate realizado na TV Gazeta
tinygrad: You like pytorch? You like micrograd? You love tinygrad! ❤️
vid2vid: Pytorch implementation of our method for high-resolution (e.g. 2048x1024) photorealistic video-to-video translation.
pytorch-kaldi is a project for developing state-of-the-art DNN/RNN hybrid speech recognition systems. The DNN part is managed by pytorch, while feature extraction, label computation, and decoding are performed with the kaldi toolkit.
nnAudio: Audio processing by using pytorch 1D convolution network
BERT: TensorFlow code and pre-trained models for BERT
CleverHans: An adversarial example library for constructing attacks, building defenses, and benchmarking both
tensorFlow Privacy: Library for training machine learning models with privacy for training data
Ludwig: is a toolbox built on top of TensorFlow that allows to train and test deep learning models without the need to write code.
TensorFlow is dead, long live TensorFlow!: If you’re an AI enthusiast and you didn’t see the big news this month, you might have just snoozed through an off-the-charts earthquake. Everything is about to change!
Machine Learning Notebooks: A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
nonsemantic-speech-benchmark/frill: FRILL is a non-semantic speech embedding model presented in "FRILL: A Non-Semantic Speech Embedding for Mobile Devices". It is fast enough to run in real-time on a mobile device and exhibits minimal performance degradation on a benchmark of non-semantic speech tasks.
nonsemantic-speech-benchmark/frill-nofrontend: FRILL is a non-semantic speech embedding model presented in "FRILL: A Non-Semantic Speech Embedding for Mobile Devices". It is fast enough to run in real-time on a mobile device and exhibits minimal performance degradation on a benchmark of non-semantic speech tasks.
Math
Good channels:
3blue1brown: 3blue1brown, by Grant Sanderson, is some combination of math and entertainment, depending on your disposition (site) and manim(Animation engine for explanatory math videos).
LeiosOS: I'm starting a new project, and I hope you guys find it useful! It's called the arcane algorithm archive and is an archive to all the arcane algorithms we cover. site and github.
Free-Math: An offline React web application for managing digital math homework
Complex polynomial toy: an interactive program for domain coloring of polynomials and for experimenting with the idea behind a proof that very non-constant polynomial has at least one complex root.
Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve. (dica da pgrangeiro)
fxsolver: a free algebraic equation solver coupled to a large formula database, based on the need to quickly solve mathematical formulas without messing around with programming languages or spreadsheet software.
Prime Design: The goal of this post is to use prime numbers to make interesting and asymmetric graphics, and to do so in the context of the web design language CSS.
Logipedia is a library of proofs expressed in Dedukti.
Viviani: Viviani's theorem states that the sum of the distances from any interior point to the sides of an equilateral triangle equals the length of the triangle's altitude.
Interactive Linear Algebra: Linear: having to do with lines, planes, etc. Algebra: solving equations involving unknowns. repo
Pattern Matching: Pattern matching is a widely adoptedmechanism across many programming languages to interact with algebraic data types that can help greatlysimplify C++.
pycm: Multi-class confusion matrix library in Python.
SparseP: is the first open-source Sparse Matrix Vector Multiplication (SpMV) software package for real-world Processing-In-Memory (PIM) architectures. SparseP is developed to evaluate and characterize the first publicly-available real-world PIM architecture, the UPMEM PIM architecture. Described by C. Giannoula et al.
anomaly detection: A collection of popular anomaly detection methods (iid/point-based and time series) including active learning for anomaly detection/discovery, description for diversity/explanation/interpretability. With a deeper analysis of incorporating label feedback with ensemble and tree-based detectors. Includes results-plots and illustrations for most approaches covered.
COVARIANCE: DIFFERENT WAYS TO EXPLAIN OR VISUALIZE IT
Seeing Theory: was created by Daniel Kunin while an undergraduate at Brown University. The goal of this website is to make statistics more accessible through interactive visualizations (designed using Mike Bostock’s JavaScript library D3.js).
Data Carpentry develops and teaches workshops on the fundamental data skills needed to conduct research.
(pt-br) genero-ruas-mapa: Mapa interativo de gênero de ruas brasileiras usando vector tiles
(pt-br) code:Nation Uma startup de Florianópolis, Santa Catarina, apaixonada por ajudar desenvolvedores de software a darem os próximos passos de suas jornadas em direção à carreira que desejam alcançar.
spyder: Official repository for Spyder - The Scientific Python Development Environment
RAPIDS: Open GPU Data Science. The RAPIDS suite of software libraries gives you the freedom to execute end-to-end data science and analytics pipelines entirely on GPUs. It relies on NVIDIA® CUDA® primitives for low-level compute optimization, but exposes that GPU parallelism and high-bandwidth memory speed through user-friendly Python interfaces. cuml - RAPIDS Machine Learning Library.
RVerbalExpressions: 👷💬 Create regular expressions easilt. RVerbalExpressions: The goal of RVerbalExpressions is to make it easier to construct regular expressions using grammar and functionality inspired by VerbalExpressions.
insight: Easy access to model information for various model objects.
introdatasci: Course materials for: Introduction to Data Science and Programming
Luna is a data processing and visualization environment built on a principle that people need an immediate connection to what they are building. github repo, studio (IDE) and docs
Python:
termgraph: a python command-line tool which draws basic graphs in the terminal
arviz: Python package to plot and analyse samples from probabilistic models
Data Science with Python: Exploratory Analysis with Movie-Ratings and Fraud Detection with Credit-Card Transactions.
pyjanitor: Python implementation of R package Janitor
ffscrapr: An R Client for Fantasy Football League APIs. repo
Static and dynamic network visualization with R: This is a comprehensive tutorial on network visualization with R. It covers data input and formats, visualization basics, parameters and layouts for one-mode and bipartite graphs; dealing with multiplex links, interactive and animated visualization for longitudinal networks; and visualizing networks on geographic maps.
(pt-br) ATLAS DO ESTADO BRASILEIRO: é uma plataforma de dados integrados sobre a estrutura organizacional e de pessoal do Estado brasileiro, em seus três níveis da administração – federal, estadual e municipal.
Guesstimate: is a spreadsheet tool that helps you model and forecast uncertain quantities.
climatedata: Repository to hold function for retrieving climate data (currently only CHELSA clim). Migrate later to new repo.
Inside Airbnb: Inside Airbnb is an independent, non-commercial set of tools and data that allows you to explore how Airbnb is really being used in cities around the world.
OpenSubdiv (github): is a set of open source libraries that implement high performance subdivision surface (subdiv) evaluation on massively parallel CPU and GPU architectures.
How the Virus Won: Invisible outbreaks sprang up everywhere. The United States ignored the warning signs. We analyzed travel patterns, hidden infections and genetic data to show how the epidemic spun out of control.
Goodwill.com Hunting: A Graphical Analysis of Women's Tops Sold on Goodwill's Website.
see Visualisation toolbox for beautiful and publication-ready figures
Hopf fibration: In the mathematical field of differential topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere.
Spectrum: Spectrum is a cross-platform image transcoding library that can easily be integrated into an Android or iOS project to efficiently perform common image operations.
bild: A collection of parallel image processing algorithms in pure Go
jax: Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
hard-comp-fi-fiction-list: This resource lists a bunch of stories which in some way, explore the beautiful ideas behind computer science, software engineering and even plain old programming.
Sonic Visualiser is a free, open-source application for Windows, Linux, and Mac, designed to be the first program you reach for when want to study a music recording closely. It's designed for musicologists, archivists, signal-processing researchers, and anyone else looking for a friendly way to look at what lies inside the audio file. github repo
tsParticles: Easily add particles animations to your website. Compatible also with React, Vue.js (2.x and 3.x), Angular, Svelte, jQuery, Preact, Inferno.
Radio
gqrx: is an open source software defined radio receiver (SDR) powered by the GNU Radio and the Qt graphical toolkit. Gqrx
AstroML: Machine learning, statistics, and data mining for astronomy and astrophysics
The Atlas of Space: Behold Brilliant Maps of Constellations, Asteroids, Planets & “Everything in the Solar System Bigger Than 10km”. by tabletop whale
GraceDbBot: A Telegram bot which you can use to get information on gravitational wave events from LIGO/Virgo.
ipgeolocation Astronomy API: The ipgeolocation Astronomy API provides timings for astronomical events including sunrise, sunset, moonrise, moonset, sun azimuth, moon azimuth, sun altitude, moon altitude, sun distance from the earth, and moon distance from the earth.
Tindallgrams: In 1966, as the American space program was working furiously towards a moon landing, Howard W. “Bill” Tindall, Jr., an expert on orbital mechanics, was sent by NASA to MIT to oversee the development of software for the spacecraft guidance systems.
Open MCT: is a next-generation mission control framework for visualization of data on desktop and mobile devices - github
Sawppy: is a motorized model of Mars rovers Curiosity and Mars 2020. It faithfully reproduces the Rocker-Bogie suspension kinematics of real rovers and is intended to be a hardware platform for future software projects in autonomous operation. Go forth and boldly explore the back yard, Sawppy!
(pt-br) Alquimia Cósmica: Este curso se baseia em proposta original de minicurso criada pelo proponente, em 2014, como parte de suas atividades de ensino, pesquisa e extensão realizadas no Instituto de Física da Universidade Federal do Rio Grande do Sul.
MNE-Python: Magnetoencephalography (MEG) and Electroencephalography (EEG) in Python
The Precautionary Principle: The PP within the statistical and probabilistic structure of “ruin” problems. Applies but not limited to transgenics(GMOs).
nCoV2019: Location for summaries and analyses of data related to n-CoV 2019, first reported in Wuhan, China.
baltic: backronymed adaptable lightweight tree import code for molecular phylogeny manipulation, analysis and visualisation. Development is back on the evogytis/baltic branch (i.e. here).
Seraphim: Studying Environmental Rasters And PHylogenetically Informed Movements. seraphim is a R package for studying environmental rasters and phylogenetic informed movements
Weeklong improved colour contrasts sensitivity after single 670 nm exposures associated with enhanced mitochondrial function: Mitochondrial decline in ageing robs cells of ATP. However, animal studies show that long wavelength exposure (650–900 nm) over weeks partially restores ATP and improves function. The likely mechanism is via long wavelengths reducing nanoscopic interfacial water viscosity around ATP rota pumps, improving their efficiency. Recently, repeated 670 nm exposures have been used on the aged human retina, which has high-energy demands and significant mitochondrial and functional decline, to improve vision. We show here that single 3 min 670 nm exposures, at much lower energies than previously used, are sufficient to significantly improve for 1 week cone mediated colour contrast thresholds (detection) in ageing populations (37–70 years) to levels associated with younger subjects. But light needs to be delivered at specific times. In environments with artificial lighting humans are rarely dark-adapted, hence cone function becomes critical. This intervention, demonstrated to improve aged mitochondrial function can be applied to enhance colour vision in old age.
Wageningen University & Research Image Collections offers an overview of image collections from Wageningen University & Research units. You can search each collection separately, or perform searches on all collections at once. Plants & Root System Drawings.
S2Geometry: S2 is a library for spherical geometry that aims to have the same robustness, flexibility, and performance as the very best planar geometry libraries github.
plus codes. open-location-code: Open Location Code is a library to generate short codes that can be used like street addresses, for places where street addresses don't exist.
EO Browser: A complete archive of Sentinel-1, Sentinel-2, Sentinel-3, Sentinel-5P, ESA’s archive of Landsat 5, 7 and 8, global coverage of Landsat 8, Envisat Meris, MODIS, Proba-V and GIBS products in one place.
ærialbot: A simple yet highly configurable bot that tweets geotagged aerial imagery of a random location in the world.
Red Herring: It was the early 80s, the height of the Cold War, when something strange began happening off the coast of Sweden. The navy reported a mysterious sound deep below the surface of the ocean.
Rosalind is a platform for learning bioinformatics and programming through problem solving.
Humanities
Civic honesty around the globe: Rationalist approaches to economics assume that people value their own interests over the interests of strangers. Cohn et al. wanted to examine the trade-off between material self-interest and more altruistic behaviors (see the Perspective by Shalvi).
Trouble on the Horizon: Forecasting the Derailment of Online Conversations as they Develop
AD.Watch: challenges the closedness of access to political advertising information. The project compiles datasets of political ads on Facebook and Instagram and creates interfaces for their use, with a view to opening up the possibilities for its study. With ad.watch, you can explore both country-specific contextual issues and political strategies, as well as broader questions about the power of persuasion that the use of personal data facilitates.
DeepDiveDuck: Monitor Website Changes for Competitor Intelligence.
(pt-br) Parlametria: O Parlametria surgiu do esforço de organizações que trabalham com o monitoramento do legislativo para traduzir e dar sentido a essa massa de dados, de forma que a sociedade civil possa acompanhar e influenciar os debates que acontecem no Congresso Nacional.
Postbag: Find journalists, bloggers and webmasters covering your niche.
High quality audio makes you sound smarter: People rated a physicist’s talk as 19.3% better when they listened to it in high (vs low) audio quality. They also thought he was smarter and liked him more.
