Awesome List Updates on Jan 20 - Jan 26, 2020

66 awesome lists updated this week.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Cpp

Physics

• Simbody (⭐2.4k) - High-performance C++ multibody dynamics/physics library for simulating articulated biomechanical and mechanical systems like vehicles, robots, and the human skeleton. [Apache2]

• SOFA (⭐1k) - SOFA is an open-source framework targeting at real-time simulation, with an emphasis on medical simulation. [LGPL] website

2. Awesome Libgdx

Resources / User Interface

• PieMenu (⭐86) - Radial menus for Scene2D that are highly flexible and easy to customize.

3. Awesome Flame

App Releases / Board

• Four In A Row - Android, iOS - Play the classic 'Four In A Row' board game! Will you be the first to connect 4 of your chips? Challenge the AI, or play against your friends and family. By Ignace Maes

4. Awesome D

Articles

• Hidden treasures in the D standard library - An article talking about several useful functions and templates in Phobos.

5. Awesome Wagtail

Apps / SEO and SMO

• wagtail-opengraph-image-generator (⭐41) - Assists you in automatically creating Open Graph images for your Wagtail pages.

6. Awesome Keycloak

Articles

• Getting started with Keycloak

• Angular, OpenID Connect and Keycloak

• Angular, OAuth 2.0 Scopes and Keycloak

• Keycloak, Flowable and OpenLDAP

• How to exchange token from an external provider to a keycloak token

7. Awesome Db Tools

Configuration Tuning / Zabbix

• PGConfigurator - Free online tool to generate an optimized postgresql.conf.

8. Awesome Music

Music Programming

• Midica (⭐121) - MIDI programming language with decompiler and player, supports karaoke.

9. Awesome Markdown

Tools / Presentations

• hacker-slides (⭐344) - Minimal UI for building presentation slides from markdown.

• Marp - Markdown presentation ecosystem. 💎 CLI, Web, IDE plugin and more to convert Markdown into various formats

10. Awesome Laravel

Popular Packages / Utilities

• Awes.io (⭐860) - boilerplate for CRM, SaaS, ERP based on Vue (Nuxt.js), TailwindCSS plus Laravel as a backend.

11. Awesome Electron

Open Source / Other

• ExifCleaner (⭐2.1k) - Clean image metadata with drag and drop.

12. Awesome H2o

Blog Posts & Tutorials

• Parallel Grid Search in H2O Jan 17, 2020

13. Awesome Iam

Secret Management / Hardware Security Module (HSM)

• CrypTech - An open hardware HSM.

14. Awesome Billing

Pricing / Usage-based Pricing

• AWS EC2 T2 Instances Demystified: Don't Learn The Hard Way - An example of really tricky burstable instances which accrues and limits its own amount of CPU usage credits.

Calculator / Market Research

• EC2Instances.info - Easy Amazon EC2 Instance Comparison.

Marketplace / Cloud Resources

• The Eternal Cost Savings Of Netflix's Internal Spot Market - When you're big enough that creating an internal secondary market for instances makes economic sense.

• AutoSpotting (⭐2.4k) - Tool that easily and reliably converts (all) your existing AutoScaling groups to cheaper spot instances.

Coupons and Vouchers / Currencies

• Raising Prices is Hard - Backblaze post-mortem on raising prices on their main offer. They wanted to create an extension program based on credit system. This became a full-time job for a handful of their most senior engineers, and resulted in a six month project.

• Details on Expiring DigitalOcean Credits - The reason you have to add an time limit on credits: unused ones accounts as liabilities on our balance sheet.

Taxes / Currencies

• {Digital,Cloud,Electronic,Online} Services VAT Rate Database (⭐94) - Centralize applicable VAT rates on foreign online services, for each country of residence (including territorial exceptions).

Invoice / Integrity

• Digital signatures: how Sleek leverages Cloud HSM to guarantee the integrity of legal documents - Here is a great way to rely on GCP's HSM to digitally sign documents and provide an immutable audit-trail. Might be applied to invoices as well as contract agreements.

• OpenTimestamps - Go beyond the solution above, and timestamp immutable document directly on Bitcoin's blockchain.

Invoice / Generators

• Manta (⭐5.3k) - Flexible invoicing desktop app with beautiful & customizable templates.

• InvoicePlane (⭐2.7k) - A self-hosted open-source application for managing your invoices, clients and payments.

Payments / Electronic invoices

• How to Build an Insurance Company - The importance of payment ops architecture.

• High failure rate of Point Of Sale devices in the upper Midwest - The root cause? People wearing a lot of wool in low humidity air, generating a lot of static.

Payments / Credit Cards

• Strong Customer Authentication - Payment Services Directive 2, explained.

• Address Verification System - A system checking the matching of customer's billing addresses with the one associated with the credit card.

Fraud / Online Payments

• Awesome List of IAM: Fraud links (⭐2k) - Section dedicated to fraud management related to user accounts, from our sister repository.

Fraud / Cards

• How Candy Japan got credit card fraud somewhat under control - Suggestions involved either warning signals for trying to guess which orders might be fraud, or countermeasures to try to make things harder for the fraudsters.

• Credit Card Fraud Detection using Autoencoders in Keras - Tutorial on how to rely on anomaly detection to implement suspicious card transactions.

Fraud / Trust Score

• GCP improved account management policies to better support customers - Or why relying too much on fraud automation might lead to disgruntled users.

Fraud / Billing

• CEO Fraud - A billing team responsible for collecting payment is prey to this kind of fraud, in which the CEO is impersonated to commend exceptional payment transactions.

UX/UI / Billing

• Which has a higher conversion rate: A single long ecommerce checkout form or a multi-step one? - Focus first on other things in the cart, like easing anxiety and second-guessing by adding reassurance (trust marks, testimonials) near the credit card and completion steps, as well as some guarantee language that you may have used earlier in the product exploration process.

Competitive Analysis / Cloud providers

• GCP billing news - From the unofficial Google Cloud Platform newsletter.

15. Awesome Incident Response

IR Tools Collection / Communities

• Slack DFIR channel - Slack DFIR Communitiy channel - Signup here.

16. Awesome Ctf

Forensics

• Kroll Artifact Parser and Extractor (KAPE) - Triage program.

• Magnet AXIOM - Artifact-centric DFIR tool.

• Wireshark - Used to analyze pcap or pcapng files

Crypto

• QuipQuip - An online tool for breaking substitution ciphers or vigenere ciphers (without key).

Networking

• Monit - A linux tool to check a host on the network (and other non-network activities).

Reversing

• Boomerang (⭐386) - Decompile x86/SPARC/PowerPC/ST-20 binaries to C.

• Pwndbg (⭐8.9k) - A GDB plugin that provides a suite of utilities to hack around GDB easily.

Steganography

• SteganographyOnline - Online steganography encoder and decoder.

Web

• BurpSuite - A graphical tool to testing website security.

Wargames

• PicoCTF - All year round ctf game. Questions from the yearly picoCTF competition.

Wikis

• CTF Cheatsheet - CTF tips and tricks.

17. Awesome Phalcon

IDE

• volt-phalcon-language - An extension for VS Code which provides support for the Phalcon Volt syntax and completion-auto

18. Awesome Eosio

Leasing platforms / Services

• Chintai

19. Awesome Shell

Shells

• zsh - Powerful shell with scripting language

Command-Line Productivity

• eureka (⭐828) - 💡 CLI tool to input and store your ideas without leaving the terminal

• gitmux (⭐669) - Show Git status in Tmux status bar

• parallel - Build and execute shell command lines from standard input in parallel

• tmux - Amazing terminal multiplexer

Customization / Directory Navigation

• geometry (⭐966) - A minimal ZSH theme where any function can be added to the left prompt or (async) right prompt on the fly.

• synth-shell (⭐1.1k) - Greeter with a customizable status report and a fancy bash prompt

System Utilities / Directory Navigation

• lnav - An advanced log file viewer for the small-scale

Shell Package Management / Directory Navigation

• bpkg - JavaScript has npm, Ruby has Gems, Python has pip and now Shell has bpkg

Shell Script Development / Directory Navigation

• Greg Wooledge's (aka "greycat") wiki. Specifically Bash Guide, Bash FAQ and Bash Pitfalls

20. Awesome Nlg

Dialog

• Plato (⭐983) - This is the Plato Research Dialogue System, a flexible platform for developing conversational AI agents.

• RNNLG (⭐490) - RNNLG is an open source benchmark toolkit for Natural Language Generation (NLG) in spoken dialogue system application domains.

21. Awesome Dash

Contributors

• Elias Dabbas

22. Awesome Nosql Guides

Overview of NoSQL

• NoSQL vs SQL: Demystifying NoSQL Databases (2019) - General overview and examples of NoSQL database schema types, while covering CAP theorem tradeoffs.

23. Awesome Mac

Reading and Writing Tools / Markdown Tools

• LightPaper - Simple, beautiful, yet powerful text editor for your Mac.

Reading and Writing Tools / Ebooks

• Kindle App - Amazon official reading app of kindle.

Developer Tools / Databases

• DBeaver - Universal SQL Client.

Design and Product / Prototyping and Mind-Mapping Tools

• MindNode - Mind-mapping software with an emphasis on simplicity and ease-of-use.

Audio and Video Tools / File Sharing

• Natron - Open-source compositing software. Node-graph based. Similar in functionality to Adobe After Effects and Nuke by The Foundry.

Utilities / Productivity

• Mos - Simple tool can offer the smooth scrolling and reverse the mouse scrolling direction on your Mac.

24. Awesome Ros2

Working Groups / Robotics Capture the Flag (RCTF)

• Security Working Group
  • Discourse threads tagged "wg-security"
  • ros-security/community (⭐17) - Outlines the governance of the ROS 2 Security Working Group.

25. Awesome Pentest

Collaboration Tools / Malware Analysis Books

• Lair (⭐383) - Reactive attack collaboration framework and web application built with meteor.

26. Awesome Audio Visualization

Experiments

• audioMotion - High-resolution real-time audio spectrum analyzer and full-featured music player written in JavaScript. Includes binaries for Windows, Linux and macOS.

Libraries Visualization

• audioMotion-analyzer - High-resolution real-time audio spectrum analyzer JS module with no dependencies.

27. Awesome Devenv

Misc / Extensions

• HTTP Toolkit - an HTTP inspection & debugging desktop application

28. Awesome Smart Tv

Samsung Tizen / Third-party remote control libraries

• samsung-tv-control (⭐192) - Library for remote control Samsung TV in your Node.js

29. Awesome Naming

Design Patterns and Anti Patterns

• Promise - A representation of a result that is available in the future, unless there are errors. Like in reality, promises are broken sometimes.

30. Awesome Flutter

Image / Backend-Driven

• Crop (⭐259) - Crop any widget/image in Android, iOS, Web and Desktop by Mahdi K. Fard

🇪🇸 Spain / Misc

• Madrid Community

• Madrid Meetup

• Madrid Twitter

31. Awesome Ios Books

SwiftUI

• SwiftUI Animations Mastery by Mark Moeykens

32. Awesome Rails

Jobs / Other external resources

• railsjobs on Reddit

• rails jobs on indeed.com

• rails jobs on glassdoor.com

33. Awesome Icons

General

• Picon (⭐24) - Small ligature-based icon font and SVG. (Website)

34. Awesome Ocaml

Machine Learning

• Articles
  • Deep Learning with OCaml (PyTorch bindings).
  • Transfer Learning with OCaml (PyTorch bindings).
  • Reinforcement Learning with OCaml (PyTorch bindings).

35. Awesome Php

Table of Contents / Code Analysis

• Rector (⭐9.8k) - A tool to upgrade and refactor code.

Table of Contents / Markup and CSS

• CommonMark PHP (⭐2.9k) - Highly-extensible Markdown parser which fully supports the CommonMark spec.

36. Awesome Chip 8

Community

• #chip8 channel on the Emulation Development Discord server - Chat for discussing development of CHIP-8 emulators/interpreters.

• OctoJam - An Octo-centric game jam held every October.

Documentation

• CHIP-8 Instruction Set - Quick cheat sheet for CHIP-8 instructions.

• CHIP-8 Instruction Set (⭐333) - A comprehensive instruction/opcode table.

• CHIP-8 Technical Reference (⭐333) - Overview of how the CHIP-8 interpreter works.

• CHIP-8 Extensions Reference (⭐333) - A list of CHIP-8 variants and extensions.

• HP48-Superchip (⭐40) - An in-depth look at CHIP48 and Super-CHIP for the HP48 calculators, and modifications to make them CHIP-8 compatible.

• Octo Extensions - Specification for Octo's XO-CHIP extension.

Emulator/interpreter development

• How to write an emulator (CHIP-8 interpreter) - A guide to developing a CHIP-8 interpreter in C/C++.

• Emulator 101: CHIP-8 - A guide to developing a CHIP-8 disassembler and interpreter in C.

Emulators/interpreters / Testing

• Octo - An IDE for development of CHIP-8, Super-CHIP and XO-Chip games.

• Emma02 - An emulator for many old microcomputers, including COSMAC VIP, Telmac 1800 and ETI 660, which ran early CHIP-8 interpreters (which are included in the emulator).

• Super-Chip8x (⭐15) - CHIP-8 emulator for the SNES.

• CHIP-8 console on FPGA (⭐194) - A CHIP-8 emulator for the TinyFPGA BX chip.

• Vinegar - CHIP-8/Super-CHIP interpreter for TI-83 (Plus) calculators.

Software development / Tools

• wernsey chip8 (⭐106) - A CHIP-8 assembler/disassembler.

• EZ-Bake Animator - A graphics preparation tool that creates XOR-ed animations.

• EZ-Writer - A tool for converting text into CHIP-8 sprites.

• EZ-Pack - An image slicing/repaletting tool.

• Chipify - A script that filters and encodes mono-channel WAV audio to XO-CHIP audio.

• octofont (⭐5) - Convert TrueType (ttf) fonts to Octo code for CHIP-8.

Software development / Guides and snippets

• Octo manual - The manual for Octo.

• A Beginner's Guide to Programming with Chip8 - An introductory guide to CHIP-8 programming in Octo.

• An Intermediate Guide to Game Development with Chip8 - Remaking the Atari 2600 game "Outlaw" for CHIP-8 in Octo.

• Chip8 Programming Techniques - Many different programming tips for CHIP-8.

• Octo Metaprogramming Cookbook - How to use Octo's assembly directives for meta-programming.

• Mastering SuperChip - How to make games compatible with CHIP-8 and Super-CHIP, as well as some Super-CHIP specific techniques.

• Adventures in Sorting - Implementing efficient sorting algorithms in Octo for CHIP-8.

Software development / Postmortems

• Inside Eaty the Alien

• Octopeg Post Mortem

• CosmacCalc: The COSMAC VIP's place in Spreadsheet History

• Inside Cave Explorer

• Inside Black Rainbow

• Postmortem: Mini Lights Out

Games / Postmortems

• CHIP-8 Archive - A collection of public domain (CC0) games, all playable online.

• A collection of CHIP-8 programs and documentation (⭐333) - Matt Mikolay's games, programs and documentation.

37. Awesome Stock Resources

Illustration / Unspecified License

• Biodiversity Heritage Library ©️ ©️ A mix of Public Domain and Attribution (CC BY 2.0) licenses. Nearly 150,000 exquisite, historical illustrations of life on Earth.

38. PlacesToPostYourStartup

Reddit

• /r/Design_Critiques - https://www.reddit.com/r/design_critiques/

39. Awesome Deno

Presentations / XML

• Ryan Dahl & Kitson Kelly: Deno is a New Way to JavaScript - TSConf 2019

40. Awesome Ant Design

Tools

• Zaku (⭐86) - JSX-based UI editor, easy way to build page and generate antd code.

41. Awesome React Components

Table

• material-table (⭐3.5k) - demo/docs - Built on Material UI, plus: grouping, tree data, expandable rows, export, inline editing

• react-data-table (⭐2.1k) - demo/docs - accessible, responsive, themable, declaratively configurable table with sorting, selectable rows, expandable rows, pagination

Chart

• react-charty (⭐70) - demo - Small but powerful interactive data viz with multiple chart types, animations, zooming, theming.

Miscellaneous

• react-awesome-query-builder (⭐2.1k) - demo - Visual query builder from form fields, with SQL, MongoDB and JSON export

Form Components / Input Types

• react-numpad (⭐138) - demo - Extensible number pad control for numbers, dates and times.

Form Components / Sortable List

• sortablejs (⭐31k) - Lists reorderable by drag-and-drop, within and among lists.

Form Components / Rich Text Editor

• react-ace (⭐4.2k) - Ace (Advanced Code Editor) wraper.

• react-draft-wysiwyg (⭐6.5k) - WYSIWYG editor build on top of DraftJS.

• react-medium-editor (⭐504) - medium-editor wrapper.

• react-quill (⭐7k) - Quill wrapper.

• react-trumbowyg (⭐147) - Trumbowyg wrapper.

Form Components / Image Editing

• react-image-cropper (⭐173) - Image cropper.

Form Components / Form Component Collections

• react-widgets (⭐2.4k) - An à la carte set of polished, extensible, and accessible inputs.

Form Components / Syntax Highlight

• react-syntax-highlighter (⭐4.4k) - Syntax highlighting component with Prismjs or Highlightjs AST using inline styles.

UI Layout / Syntax Highlight

• golden-layout (⭐6.5k) - A multi-screen JavaScript Layout manager.

• hedron (⭐864) - A no-frills flexbox grid system, powered by styled-components.

• m-react-splitters (⭐161) - Splitter component, written in TypeScript.

• react-masonry-component (⭐1.5k) - Wrapper for @desandro's Masonry.

• react-stonecutter (⭐1.2k) - Animated grid layout component.

UI Animation / Syntax Highlight

• data-driven-motion (⭐548) - Easily animate your data.

• react-anime (⭐1.6k) - A super easy animation library.

• react-mt-svg-lines (⭐364) - Wrapper to animate the line stroke in SVGs.

• react-spring (⭐29k) - A spring physics based animation library.

• react-transitive-number (⭐212) - Apply transition effect to numeric strings, a la old Groupon timers.

• react-particles-bg (⭐666) - Particles backgrounds.

Responsive / Syntax Highlight

• atlaskit - Atlassian's official UI library, with components from badge to tree table.

• carbon (⭐8.4k) - demo/docs - A design system built by IBM.

• chakra-ui (⭐39k) - demo/docs - Simple, Modular & Accessible UI Components for your React Applications.

• evergreen (⭐12k) - demo/docs - Evergreen React UI Framework by Segment.

• gestalt (⭐4.3k) - demo/docs - A set of components that supports Pinterest’s design language.

Responsive / Material Design

• react-toolbox (⭐8.6k) - A set of React components implementing Google's Material Design.

Mobile / Material Design

• antd-mobile (⭐12k) - Configurable Mobile UI from China.

• Ionic React - Ionic Framework: easily build Android, Desktop and Progressive Web Apps with one code base.

• OnsenUI (⭐8.9k) - demo/docs - Mobile app framework with Material and flat (iOS) designs. Based on Web Components.

Component Collections / Material Design

• blueprint (⭐21k) - demo - docs - UI toolkit for building complex, data-dense web interfaces for desktop (not mobile) applications.

• rsuite (⭐8.6k) - demo/docs - Suite of components for "enterprise system products".

i18n / Mouse Events

• js-lingui (⭐5.2k) - docs – A readable, automated, and optimized (5 kb) internationalization for JavaScript.

42. Awesome Esolangs

Languages

• Turtle (⭐5) - Uses long-term storage for memory use.

43. Awesome WSL

Using WSL / Programming on WSL

• Badass Terminal

WSL Tools / WSL Utilities

• wsl-gui-bins (⭐37) - Start common GUI applications under WSL as under Linux.

44. Awesome Ssh

Apps / Servers

• ShellHub (⭐1.6k) - A SSH gateway for remotely accessing any Linux device behind firewall and NAT.

45. Awesome Vulkan

Samples

• Khronos Vulkan samples (⭐4.8k) [LICENSE (⭐4.8k)]

46. Awesome Magento2

Tools

• PhpInsights (⭐5.4k) - PHP quality checks (with Magento2 presets)

• Tango (⭐112) - CLI for analyzing access logs

Deployment

• Github Actions for Magento2 (⭐141) - GitHub Actions for Magento 2 Extensions

Infrastructure

• Magento 2 Ngrok (⭐47) - Magento 2 Ngrok Integration

47. Awesome Blazor

Hybrid

• Blazor + Electron - Host Razor Components inside an Electron shell. This allows for modern, high-performance cross-platform desktop apps built with .NET and web technologies.

Mobile

• Mobile Blazor Bindings - Experimental Mobile Blazor Bindings - Build native mobile apps with Blazor.

48. Awesome Swift

XML

• XMLMapper (⭐112) - A simple way to map XML to Objects.

Quality / Barcode

• swift-mod (⭐113) - A tool for Swift code modification intermediating between code generation and formatting.

Button / Barcode

• FloatingButton (⭐1.2k) - Easily customizable floating button menu created with SwiftUI.

Walkthrough / Barcode

• ConcentricOnboarding (⭐1.5k) - SwiftUI library for a walkthrough or onboarding flow with tap actions.

49. Awesome Asyncio

Networking

• httpx (⭐14k) - asynchronous HTTP client for Python 3 with requests (⭐53k) compatible API.

50. Awesome Java

Financial / Text-Based User Interfaces

• Parity (⭐498) - Platform for trading venues.

• Philadelphia (⭐335) - Low-latency financial information exchange.

Miscellaneous / Text-Based User Interfaces

• yGuard (⭐419) - Obfuscation via renaming and shrinking.

51. Awesome Yew

Official

• Financial Contribute - Become a financial contributor and help us sustain our community.

Projects

• Rust-Full-Stack (⭐1.6k) - Easily testable and working Rust codes with blog posts to explain them.

Books / Frameworks

• Programming WebAssembly with Rust - Includes a chapter Advanced JavaScript Integration with Yew on creating an app with Yew.

52. Awesome Dotnet Core

Frameworks, Libraries and Tools / Graphics

• ZXing.Net (⭐2.9k) - .Net port of the original java-based barcode reader and generator library zxing.

Frameworks, Libraries and Tools / Testing

• FluentAssertions (⭐3.8k) - Set of .NET extension methods that allow you to more naturally specify the expected outcome of a TDD or BDD-style test.

53. Awesome Circuitpython

News / Educational

• Learn Hardware Programming with CircuitPython - A course offered by Codecademy in collaboration with Adafruit.

• Use CircuitPython boards on the TI-83 Premium CE calculator - CircuitPython runs on Texas Instrument calculators.

Contributing / Contribution Workflow Overview

• Clone the forked repo to your drive.

• Add a remote using owner adafruit and the original URL.

• Create a pull request on the official repo.

• Once accepted, repeat by merging from the official repo to your fork's master, and re-branch.

54. Awesome Mqtt

Broker

• Mosquitto - "The" Open Source MQTT Broker.
  • Free test server hosted by the Eclipse Foundation.
  • Authorization Plugin in Go (⭐579) supports many types of logins.
  • Let's Encrypt Mosquitto Docker Container makes it easy to encrypt.

Cloud

• CloudMQTT - Hosted message broker for the Internet of Things. Perfectly configured and optimized message queues for IoT, ready in seconds.

• EMQ X MQTT Cloud - A secure, reliable MQTT cloud service with best pratices from EMQ team.

• Google Cloud IoT - Google Cloud IoT is a complete set of tools to connect, process, store, and analyze data both at the edge and in the cloud. The platform consists of scalable, fully-managed cloud services; an integrated software stack for edge/on-premises computing with machine learning capabilities for all your IoT needs.

Makers / Firmwares for ESP based Devices

• ESPEasy - Turns ESP into a multifunction sensor device for HA solutions with web-based configuration.

• ESPHome - builds ESP8266/ESP32 firmware from concise YAML descriptions, uploads to and manages flashed devices.

• Espurna (⭐3k) - HA firmware for ESP8266-based devices with rich web UI and ≈120 devices supported out of the box

• Sonoff-Tasmota (⭐23k) - Firmware for ESP8266 devices with web-based configuration. ≈500 devices supported (not only Sonoffs).

• WiFi-IoT - ESP8266/ESP32 firmware builder. Partly in Russian. Free features are limited.

55. Awesome V

Command line interface (CLI) / Terminal / Shell

• boxx (⭐100) - Create highly customizable terminal boxes that also look great! 📦

Operating system

• clipboard (⭐37k) - V module for interacting with the OS clipboard. Fully cross-platform.

User Interface toolkits

• vig (⭐55) - Bindings for Dear ImGui (⭐67k) GUI toolkit.

• vnk (⭐54) - Bindings for Nuklear (⭐14k) GUI toolkit.

56. Awesome Python

Email

• Mail Servers
  • modoboa (⭐3.3k) - A mail hosting and management platform including a modern Web UI.
  • salmon (⭐652) - A Python Mail Server.

• Clients
  • imbox (⭐1.2k) - Python IMAP for Humans.
  • yagmail (⭐2.7k) - Yet another Gmail/SMTP client.

• Others
  • flanker (⭐1.6k) - An email address and Mime parsing library.
  • mailer (⭐281) - High-performance extensible mail delivery framework.

HTTP Clients

• requests (⭐53k) - HTTP Requests for Humans.

Logging

• loguru (⭐22k) - Library which aims to bring enjoyable logging in Python.

Specific Formats Processing

• General
  • tablib (⭐4.7k) - A module for Tabular Datasets in XLS, CSV, JSON, YAML.

Web Content Extracting

• requests-html (⭐14k) - Pythonic HTML Parsing for Humans.

57. Awesome Piracy

Documentaries / Third Party Hosts

• Documentary Addict A website which scrapes Youtube for documentaries

• iHaveNoTv Community managed documentary collection

58. Awesome Jmeter

Books / Utilities

• JMeter by Example - By Sai Matam and Jagdeep Jain (Leanpub); a simple, practical, step-by-step tutorial to measure the performance of websites.

• Advanced JMeter Testing - By Penny Curich (Leanpub), guide to write custom components for Apache JMeter 5.0.

59. Awesome Wardley Maps

Community

• Mapping Maps Newsletter - Subscribe here. Newsletter archive.

• #WardleyMaps - Join the conversation.

Reading

• Bits or pieces? - Simon Wardley's blog.

Maps in the Wild

• Structural Deepening - Using Wardley maps to look at the evolution of the jet engine. Jan 5, 2020.

• Plotting a path to a greener web with Wardley mapping - The Green Web Foundation. Mar 20, 2019.

• UN Global Platform - Handbook on Information Technology Strategy - Covers the development of your IT strategy using Wardley Maps to predict the future, understand which methodologies are best suited to developing and delivery information management systems. Download the Wardley map source files used to create the Handbook on IT Strategy. Mar 13, 2019.

• UN Privacy Preserving Techniques Handbook - Two use cases: giving NSOs access to new sources of (sensitive) Big Data; and enabling Big Data Collaborations Across Multiple NSO. Download Wardley maps slide deck. Mar 12, 2019.

• Burja Mapping - Combines Samo Burja's Empire Theory with a form of mapping similar to that pioneered by Simon Wardley. Jan 2, 2019.

• Rebooting GDS - How to stop the organisation from actively harming itself by focusing on doctrine and spend control. Oct 30, 2018.

• Healthcare information technology strategy - How can we make best use of technology to support healthcare? Jul 19, 2018.

• Mapping Maturity - Context specific maturity models with Wardley maps informed by Cynefin. May 11, 2018.

• Designing for constant evolution - Pioneer, Settler and Town Planner (Wardley PST). Jan 31, 2017.

• Thank you Amazon. Boom! Everything in business will change - Dec 3, 2016.

• Amazon is eating the software (which is eating the world) - Nov 30, 2016.

• Why the fuss about serverless? - Evolution and co-evolution of architectural practice and worth based development. Nov 23, 2016.

Research Papers

• Mapping Practice Papers - A series of position papers published by the Leading Edge Forum. Jun 13, 2018 - Jan 28, 2019.

60. Awesome Bigdata

System Deployment

• Linkis (⭐3.4k) - Linkis helps easily connect to various back-end computation/storage engines.

Data Visualization

• DataSphere Studio (⭐3.2k) - one-stop data application development management portal.

61. Awesome Ada

Open source / GPL (no linking exception)

• gnat-ce - GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.

Commercial / Open source / Apache License

• gnat-pro - The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++.

Commercial / Closed source / Apache License

• janus-ada - Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language.

• object-ada - PTC ObjectAda is an extensive family of native and cross development tools and runtime environments.

• greenhills-ada - Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets.

OS and Kernels / Apache License

• havk (⭐26) - x86-64 security-focused OS being created with SPARK.

62. Awesome Actions

Utility / Semantic Versioning

• Get latest SemVer and branch name given a search string (⭐4)

• Cut Release Branch (⭐10) - Cuts a release branch given a branch prefix and optional semantic version.

• Increment Semantic Version (⭐87) - Bump a given semantic version (SemVer), depending on given release type.

Static Analysis / Linting

• Run dotenv-linter - Lints your .env files like a charm, with optional reviewdog output on the PR (⭐295)

• Run dotenv-linter, with reviewdog output on the PR (⭐21)

63. Awesome Creative Tech Events

Netherlands / Amsterdam

• FITC Amsterdam - 2 day event about design, technology and cool shit. (February)

France / Paris

• Immersive Art Festival - The Atelier des Lumières is a digital art centre where immersive exhibitions dedicated to the greatest artists in the history of art and more contemporary creations are projected. (October)

Spain / Barcelona

• Offf Barcelona - Conference for offline/online designers, motion designers, thinkers, sound designers, graphic designers, theorists, developers, professionals and students. (April)

• Sonar - Music, creativity & technology. (June)

Austria / Linz

• Ars Electronica Festival - Festival for art, technology and society. (September)

USA / San Francisco

• CODAME ART+TECH Festival - Explores the manifold dimensions of SPACE with an incredible lineup schedule, including nightlife installations and performances, a variety of workshops, and community gathering art+tech salon to close off the Festival. (October)

64. Awesome Elm

Libraries / Individual Podcast episodes

• Elm packages - The official registry

• Elm Search - Search Elm documentation for operators, function signatures, etc.

Boilerplates / Individual Podcast episodes

• elm-boil (⭐20) - Command Line Utility for creating an Elm boilerplate project easy to run, build and get deployed

65. Awesome Ponyfills

Browser Features

• webbluetooth (⭐175) - Bluetooth

• resize-observer-polyfill (⭐1.8k) - ResizeObserver

• webcrypto-shim (⭐122) - crypto

• css-vars-ponyfill (⭐1.5k) - CSS variables/custom properties

66. Awesome Coq

Projects / Frameworks

• CoqEAL (⭐71) - Framework to ease change of data representations in proofs.

Projects / User Interfaces

• Proof General - Generic interface for proof assistants based on the extensible, customizable text editor Emacs.

• Jupyter kernel for Coq (⭐95) - Coq support for the Jupyter Notebook web environment.

Projects / Libraries

• coq-haskell (⭐170) - Library smoothing the transition to Coq for Haskell users.

• ExtLib (⭐132) - Collection of theories and plugins that may be useful in other Coq developments.

• FCSL-PCM (⭐28) - Formalization of partial commutative monoids as used in verification of pointer-manipulating programs.

• Metalib (⭐75) - Library for programming language metatheory using locally nameless variable binding representations.

• Paco - Library for parameterized coinduction.

• Relation Algebra (⭐49) - Modular formalization of algebras with heterogeneous binary relations as models.

Projects / Package and Build Management

• Docker-Coq (⭐37) - Docker images for many versions of Coq.

Projects / Plugins

• AAC Tactics (⭐31) - Tactics for rewriting universally quantified equations, modulo associativity and commutativity of some operator.

• CoqHammer (⭐228) - General-purpose automated reasoning hammer tool that combines learning from previous proofs with the translation of problems to automated provers and the reconstruction of found proofs.

• Gappa - Tactic for discharging goals about floating-point arithmetic and round-off errors.

• MetaCoq (⭐455) - Project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins.

• Mtac2 (⭐55) - Plugin adding typed tactics for backward reasoning.

• SMTCoq (⭐161) - Tool that checks proof witnesses coming from external SAT and SMT solvers.

• Unicoq (⭐56) - Plugin that replaces the existing unification algorithm with an enhanced one.

Projects / Tools

• lngen (⭐32) - Tool for generating locally nameless Coq definitions and proofs.

• Menhir - Parser generator that can output Coq code for verified parsers.

• mCoq (⭐29) - Mutation analysis tool for Coq projects.

Projects / Type Theory and Mathematics

• Analysis (⭐221) - Library for classical real analysis compatible with Mathematical Components.

• Category Theory in Coq (⭐778) - Axiom-free formalization of category theory.

• Coquelicot - Formalization of classical real analysis compatible with the standard library and focusing on usability.

• GeoCoq (⭐197) - Formalization of geometry based on Tarski's axiom system.

• Mathematical Components - Formalization of mathematical theories, focusing in particular on group theory.

• Math Classes (⭐166) - Abstract interfaces for mathematical structures based on type classes.

• Odd Order Theorem (⭐31) - Formal proof of the Odd Order Theorem, a landmark result of finite group theory.

• UniMath (⭐986) - Library which aims to formalize a substantial body of mathematics using the univalent point of view.

Projects / Verified Software

• Fiat-Crypto (⭐766) - Cryptographic primitive code generation.

• JSCert (⭐201) - Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter.

• lambda-rust - Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.

Resources / Community

• Mathematical Components wiki (⭐630)

Resources / Books

• Coq'Art - The first book dedicated to Coq.

• Certified Programming with Dependent Types - Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof.

• Formal Reasoning About Programs - Book that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose.

• Programs and Proofs - Book that gives a brief and practically-oriented introduction to interactive proofs in Coq which emphasizes the computational nature of inductive reasoning about decidable propositions via a small set of primitives from the SSReflect proof language.

Resources / Tutorials and Hints

• Coq in a Hurry - Introduction to how Coq can be used to define logical concepts and functions and reason about them.

• Lemma Overloading (⭐27) - Demonstration of design patterns for programming and proving with canonical structures.

• Mike Nahas's Coq Tutorial - Basics of using Coq to write formal proofs.

• Prev: Jan 27 - Feb 02, 2020
• Next: Jan 13 - Jan 19, 2020