Awesome List Updates on Jan 20 - Jan 26, 2020
74 awesome lists updated this week.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Nginx Resources
Talks
2. Awesome Cpp
GUI
- RmlUi (⭐2.6k) - The HTML/CSS User Interface library evolved. Fork of libRocket. [MIT]
Physics
- Simbody (⭐2.3k) - High-performance C++ multibody dynamics/physics library for simulating articulated biomechanical and mechanical systems like vehicles, robots, and the human skeleton. [Apache2]
- SOFA (⭐900) - SOFA is an open-source framework targeting at real-time simulation, with an emphasis on medical simulation. [LGPL] website
3. Awesome Libgdx
Resources / User Interface
- PieMenu (⭐74) - Radial menus for Scene2D that are highly flexible and easy to customize.
4. 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
5. Awesome D
Articles / Bare metal / kernel development
- Hidden treasures in the D standard library - An article talking about several useful functions and templates in Phobos.
6. Awesome Wagtail
Apps / SEO and SMO
- wagtail-opengraph-image-generator (⭐39) - Assists you in automatically creating Open Graph images for your Wagtail pages.
7. Awesome Keycloak
Articles
8. Awesome Db Tools
Configuration Tuning / Zabbix
- PGConfigurator - Free online tool to generate an optimized
postgresql.conf
.
9. Awesome Video
Specs and Standards / SRT
10. Awesome Music
Music Programming
- Midica (⭐106) - MIDI programming language with decompiler and player, supports karaoke.
11. Awesome Markdown
Tools / Presentations
- hacker-slides (⭐343) - Minimal UI for building presentation slides from markdown.
- Marp - Markdown presentation ecosystem. 💎 CLI, Web, IDE plugin and more to convert Markdown into various formats
12. Awesome Laravel
Popular Packages / Utilities
- Awes.io (⭐740) - boilerplate for CRM, SaaS, ERP based on Vue (Nuxt.js), TailwindCSS plus Laravel as a backend.
13. Awesome Electron
Open Source / Other
- ExifCleaner (⭐1.8k) - Clean image metadata with drag and drop.
14. Awesome H2o
Blog Posts & Tutorials
- Parallel Grid Search in H2O Jan 17, 2020
Courses
- University of San Francisco (USF) Distributed Data System Class (MSDS 697) - Master of Science in Data Science Program.
15. Awesome Iam
Secret Management / Hardware Security Module (HSM)
- CrypTech - An open hardware HSM.
16. 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
- Cloud Cost Calculator (⭐88) - Web-based tool for finding the cheapest cloud servers for a given set of requirements.
- 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.3k) - 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 (⭐89) - Centralize applicable VAT rates on foreign online services, for each country of residence (including territorial exceptions).
Invoice / European VAT
- On GCP invoiced billing - Invoiced billing is a B2B-friendly payment happening after the service is consumed and an invoice issued. It seems to be a pain to setup on GCP but I suspect is a consequence of trying to reduce (costly) fraud.
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.4k) - 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
- 'Is that even legal?': Companies may be sharing new credit or debit card information without you knowing - Some credit and debit card companies have "updating service" that allows new account numbers and expiry dates to be shared with merchants. Visa's implementation is called VAU and Mastercard's is ABU.
- 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 (⭐1.6k) - 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.
- Five Fun Fraud Facts - Another tiny collection of features we can feed to a ML system to detect fraud. Comments on HN also unearthed more qualifying signals and derived geodata on the transaction.
- 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.
17. Awesome Incident Response
IR Tools Collection / Communities
- Slack DFIR channel - Slack DFIR Communitiy channel - Signup here.
18. 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 (⭐322) - Decompile x86/SPARC/PowerPC/ST-20 binaries to C.
- Pwndbg (⭐5k) - 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.
19. Awesome Phalcon
IDE
- volt-phalcon-language - An extension for VS Code which provides support for the Phalcon Volt syntax and completion-auto
20. Awesome Eosio
Leasing platforms / Services
21. Awesome Shell
Shells
- zsh - Powerful shell with scripting language
Command-Line Productivity
- eureka (⭐723) - 💡 CLI tool to input and store your ideas without leaving the terminal
- gitmux (⭐512) - 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 (⭐907) - A minimal ZSH theme where any function can be added to the left prompt or (async) right prompt on the fly.
- synth-shell (⭐856) - 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
22. Awesome Nlg
Dialog
- Plato (⭐970) - This is the Plato Research Dialogue System, a flexible platform for developing conversational AI agents.
- RNNLG (⭐488) - RNNLG is an open source benchmark toolkit for Natural Language Generation (NLG) in spoken dialogue system application domains.
23. Awesome Dash
Contributors
24. 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.
25. 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 / Developer Utilities
- Kaleidoscope - Powerful compare tool for text, images and folders. Works perfectly with git, svn or other version control tools.
- Loca Studio - Analyze, review, and edit app translations. Supports Xcode Localization Catalog (xcloc) and XLIFF 1.2 file formats.
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.
Design and Product / Screencapturing Software
- CleanShot - Discover a superior way to capture your Mac's screen.
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.
26. Awesome Ros2
Working Groups / Robotics Capture the Flag (RCTF)
- Security Working Group
- Discourse threads tagged "wg-security"
- ros-security/community (⭐13) - Outlines the governance of the ROS 2 Security Working Group.
27. Awesome Pentest
Collaboration Tools / Malware Analysis Books
- Lair (⭐378) - Reactive attack collaboration framework and web application built with meteor.
28. 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.
29. Awesome Devenv
Misc / Extensions
- HTTP Toolkit - an HTTP inspection & debugging desktop application
30. Awesome Smart Tv
Samsung Tizen / Third-party remote control libraries
- samsung-tv-control (⭐123) - Library for remote control Samsung TV in your Node.js
31. 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.
32. Awesome Flutter
Image / Backend-Driven
- Crop (⭐257) - Crop any widget/image in Android, iOS, Web and Desktop by Mahdi K. Fard
🇪🇸 Spain / Misc
33. Awesome Ios Books
SwiftUI
34. Awesome Rails
Jobs / Other external resources
35. Awesome Icons
General
- Picon (⭐23) - Small ligature-based icon font and SVG. (Website)
36. Awesome Ocaml
Machine Learning
- Libraries
- Ocaml-sklearn (⭐33) scikit-learn for OCaml.
- Owl - Scientific library with neural networks, algorithmic differentiation and ONNX support.
- Object detection convolutional neural network with OCaml (based on Owl) (⭐17).
- PyTorch bindings (⭐404) - OCaml bindings for PyTorch.
- Ocaml-NN (⭐4) - Fully functional monadic implementation of a Neural Network (FCNNs) in OCaml
- Articles
37. Awesome Php
Table of Contents / Code Analysis
- Rector (⭐8.5k) - A tool to upgrade and refactor code.
Table of Contents / Markup and CSS
- CommonMark PHP (⭐2.7k) - Highly-extensible Markdown parser which fully supports the CommonMark spec.
38. 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 (⭐214) - A comprehensive instruction/opcode table.
- CHIP-8 Technical Reference (⭐214) - Overview of how the CHIP-8 interpreter works.
- CHIP-8 Extensions Reference (⭐214) - A list of CHIP-8 variants and extensions.
- HP48-Superchip (⭐24) - 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 (⭐14) - CHIP-8 emulator for the SNES.
- CHIP-8 console on FPGA (⭐180) - 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 (⭐73) - 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
Games / Postmortems
- CHIP-8 Archive - A collection of public domain (CC0) games, all playable online.
- A collection of CHIP-8 programs and documentation (⭐214) - Matt Mikolay's games, programs and documentation.
39. 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.
40. Awesome Quantified Self
Websites and Resources
- Biohack Stack - Biohacker community with "stacks" of famous scientists.
41. PlacesToPostYourStartup
- /r/Design_Critiques - https://www.reddit.com/r/design_critiques/
42. Awesome Deno
Presentations / XML
43. Awesome Rust
Development tools / Build system
- GitHub actions
- icepuma/rust-action (⭐78) - rust github action
- peaceiris/actions-mdbook (⭐288) - GitHub Actions for mdBook
Libraries / Text search
- andylokandy/simsearch-rs (⭐164) [simsearch] - A simple and lightweight fuzzy search engine that works in memory, searching for similar strings
Libraries / Unsafe
- zerocopy - "Zerocopy makes zero-cost memory manipulation effortless. We write
unsafe
so you don’t have to."
Libraries / Virtualization
- chromium/chromiumos/platform/crosvm - CrOSVM Enables Chrome OS to run Linux apps inside a fast, secure virtualized environment
Resources / Web programming
- Podcasts
- New Rustacean - A podcast about learning Rust
- Rustacean Station - A community project for creating podcast content for Rust
44. Awesome Vue
Projects Using Vue.js / Open Source
- ETCD Manager (⭐474) - A modern, efficient and free multi-platform ETCD GUI app based on Electron and VueJS.
Components & Libraries / UI Components
- vue-tinybox (⭐95) - a tiny (only 2.5 KB minzipped) and slick lightbox gallery. Optimized for both desktop and mobile.
45. Awesome Ant Design
Tools
- Zaku (⭐78) - JSX-based UI editor, easy way to build page and generate antd code.
46. 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 (⭐2k) - demo/docs - accessible, responsive, themable, declaratively configurable table with sorting, selectable rows, expandable rows, pagination
Chart
- react-charty (⭐71) - demo - Small but powerful interactive data viz with multiple chart types, animations, zooming, theming.
Miscellaneous
- react-awesome-query-builder (⭐1.9k) - demo - Visual query builder from form fields, with SQL, MongoDB and JSON export
Form Components / Input Types
- react-numpad (⭐136) - demo - Extensible number pad control for numbers, dates and times.
Form Components / Sortable List
- sortablejs (⭐29k) - Lists reorderable by drag-and-drop, within and among lists.
Form Components / Rich Text Editor
- react-ace (⭐4k) - Ace (Advanced Code Editor) wraper.
- react-draft-wysiwyg (⭐6.4k) - WYSIWYG editor build on top of DraftJS.
- react-medium-editor (⭐503) - medium-editor wrapper.
- react-quill (⭐6.6k) - Quill wrapper.
- react-trumbowyg (⭐144) - Trumbowyg wrapper.
Form Components / Image Editing
- react-image-cropper (⭐175) - Image cropper.
Form Components / Form Component Collections
- react-widgets (⭐2.3k) - An à la carte set of polished, extensible, and accessible inputs.
Form Components / Syntax Highlight
- react-syntax-highlighter (⭐3.9k) - Syntax highlighting component with Prismjs or Highlightjs AST using inline styles.
UI Layout / Syntax Highlight
- golden-layout (⭐6.2k) - A multi-screen JavaScript Layout manager.
- hedron (⭐865) - A no-frills flexbox grid system, powered by styled-components.
- m-react-splitters (⭐160) - Splitter component, written in TypeScript.
- react-masonry-component (⭐1.4k) - Wrapper for @desandro's Masonry.
- react-stonecutter (⭐1.2k) - Animated grid layout component.
UI Animation / Syntax Highlight
- data-driven-motion (⭐541) - Easily animate your data.
- react-anime (⭐1.5k) - A super easy animation library.
- react-mt-svg-lines (⭐360) - Wrapper to animate the line stroke in SVGs.
- react-spring (⭐28k) - A spring physics based animation library.
- react-transitive-number (⭐210) - Apply transition effect to numeric strings, a la old Groupon timers.
- react-particles-bg (⭐636) - Particles backgrounds.
Responsive / Syntax Highlight
- atlaskit - Atlassian's official UI library, with components from badge to tree table.
- carbon (⭐7.6k) - demo/docs - A design system built by IBM.
- chakra-ui (⭐37k) - demo/docs - Simple, Modular & Accessible UI Components for your React Applications.
- evergreen (⭐12k) - demo/docs - Evergreen React UI Framework by Segment.
- gestalt (⭐4.2k) - demo/docs - A set of components that supports Pinterest’s design language.
Responsive / Material Design
- react-toolbox (⭐8.7k) - A set of React components implementing Google's Material Design.
Mobile / Material Design
- antd-mobile (⭐11k) - Configurable Mobile UI from China.
- Ionic React - Ionic Framework: easily build Android, Desktop and Progressive Web Apps with one code base.
- OnsenUI (⭐8.8k) - demo/docs - Mobile app framework with Material and flat (iOS) designs. Based on Web Components.
Component Collections / Material Design
- blueprint (⭐20k) - demo - docs - UI toolkit for building complex, data-dense web interfaces for desktop (not mobile) applications.
- rsuite (⭐8.2k) - demo/docs - Suite of components for "enterprise system products".
i18n / Mouse Events
- js-lingui (⭐4.3k) - docs – A readable, automated, and optimized (5 kb) internationalization for JavaScript.
47. Awesome Cakephp
Authentication and Authorization
- 🍰 Tools:Passwordable (⭐336) - Containing Passwordable behavior (⭐336) for a DRY approach on password hashing.
Caching
- 🍰 Cache plugin (⭐32) - For caching views (HTML, CSV, JSON, XML, ...) as static cache files.
Miscellaneous
- 🍰 Tools plugin (⭐336) - Containing lots of useful libs, helpers, behaviors, components, shells and more.
Search
- 🍰 Tags plugin (⭐14) - For tagging and finding tagged records.
SEO
- 🍰 Tools:Slugged (⭐336) - Containing Slugged behavior to auto-generate URL-compatible slugs from titles.
48. Awesome Esolangs
Languages
- Turtle (⭐4) - Uses long-term storage for memory use.
49. Awesome WSL
Using WSL / Programming on WSL
WSL Tools / WSL Utilities
- wsl-gui-bins (⭐36) - Start common GUI applications under WSL as under Linux.
50. Awesome Ssh
Apps / Servers
- ShellHub (⭐982) - A SSH gateway for remotely accessing any Linux device behind firewall and NAT.
51. Awesome Vulkan
Samples
- Khronos Vulkan samples (⭐4.1k) [LICENSE (⭐4.1k)]
52. Awesome Magento2
Tools
- PhpInsights (⭐5.2k) - PHP quality checks (with Magento2 presets)
- Tango (⭐108) - CLI for analyzing access logs
Deployment
- Github Actions for Magento2 (⭐134) - GitHub Actions for Magento 2 Extensions
Infrastructure
- Magento 2 Ngrok (⭐44) - Magento 2 Ngrok Integration
53. 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.
54. Awesome Swift
XML
- XMLMapper (⭐111) - A simple way to map XML to Objects.
Quality / Barcode
- swift-mod (⭐100) - A tool for Swift code modification intermediating between code generation and formatting.
UI / Barcode
- SweetCurtain (⭐116) - Really sweet and easy bottom pullable sheet implementation. You can find a similar implementation in applications like Apple Maps, Find My, Stocks, etc.
Button / Barcode
- FloatingButton (⭐1.1k) - Easily customizable floating button menu created with SwiftUI.
Walkthrough / Barcode
- ConcentricOnboarding (⭐1.3k) - SwiftUI library for a walkthrough or onboarding flow with tap actions.
55. Free for Dev
APIs, Data, and ML
- CurrencyScoop - Realtime currency data API for fintech apps. The free plan includes 5,000 calls per month.
Testing
- Gremlin — Gremlin's Chaos Engineering tools allow you to safely and securely inject failure into your systems to find weaknesses before they cause customer-facing issues. Gremlin Free provides access to Shutdown and CPU attacks on up to 5 hosts or containers.
Security and PKI
- CodeNotary.io — Open Source platform with indelible proof to notarize code, files, directories, or container
Monitoring
- letsmonitor.org - SSL monitoring, free for up to 5 monitors
Managed Data Services
- restdb.io - a fast and straightforward NoSQL cloud database service. With restdb.io you get schema, relations, automatic REST API (with MongoDB-like queries), and an efficient multi-user admin UI for working with data. The free plan allows 3 users, 2500 records, and 1 API request per second.
Design and UI
- Mindmup.com — Unlimited mind maps for free and store them in the cloud. Your mind maps are available everywhere, instantly, from any device.
56. Awesome Java
Financial / Text-Based User Interfaces
- Parity (⭐502) - Platform for trading venues.
- Philadelphia (⭐318) - Low-latency financial information exchange.
Miscellaneous / Text-Based User Interfaces
- yGuard (⭐357) - Obfuscation via renaming and shrinking.
57. Awesome Yew
Official
- Financial Contribute - Become a financial contributor and help us sustain our community.
Projects
- Rust-Full-Stack (⭐1.5k) - 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.
58. Awesome Humane Tech
- hosts-blocklists (⭐2k) - A host and domainname based blocklist specifically designed for use with dnsmasq.
59. Awesome Dotnet Core
Frameworks, Libraries and Tools / Graphics
- ZXing.Net (⭐2.7k) - .Net port of the original java-based barcode reader and generator library zxing.
Frameworks, Libraries and Tools / Testing
- FluentAssertions (⭐3.7k) - Set of .NET extension methods that allow you to more naturally specify the expected outcome of a TDD or BDD-style test.
60. Awesome Circuitpython
Frameworks
- Glider: An app for editing Python on mobile devices wirelessly (⭐41) - Also a video, in development.
News
- 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.
61. Awesome Mqtt
Broker
- Mosquitto - "The" Open Source MQTT Broker.
- Free test server hosted by the Eclipse Foundation.
- Authorization Plugin in Go (⭐360) 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 (⭐2.8k) - HA firmware for ESP8266-based devices with rich web UI and ≈120 devices supported out of the box
- Sonoff-Tasmota (⭐19k) - 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.
62. Awesome V
Command line interface (CLI) / Terminal / Shell
- boxx (⭐97) - Create highly customizable terminal boxes that also look great! 📦
Operating system
- clipboard (⭐36k) - V module for interacting with the OS clipboard. Fully cross-platform.
User Interface toolkits
- vig (⭐50) - Bindings for Dear ImGui (⭐59k) GUI toolkit.
- vnk (⭐46) - Bindings for Nuklear (⭐14k) GUI toolkit.
63. Awesome Selfhosted
Software / Password Managers
- Padloc - A modern, open source password manager for individuals and teams. (Source Code (⭐2.6k))
GPL-3.0
Nodejs
64. Awesome Python
HTTP Clients
- httpx (⭐13k) - A next generation HTTP client for Python.
- requests (⭐52k) - HTTP Requests for Humans.
- Mail Servers
- modoboa (⭐3k) - A mail hosting and management platform including a modern Web UI.
- salmon (⭐639) - A Python Mail Server.
- Clients
- imbox (⭐1.2k) - Python IMAP for Humans.
- yagmail (⭐2.6k) - Yet another Gmail/SMTP client.
- Others
- flanker (⭐1.6k) - An email address and Mime parsing library.
- mailer (⭐279) - High-performance extensible mail delivery framework.
Logging
- loguru (⭐19k) - Library which aims to bring enjoyable logging in Python.
Specific Formats Processing
- General
- tablib (⭐4.6k) - A module for Tabular Datasets in XLS, CSV, JSON, YAML.
Web Content Extracting
- requests-html (⭐14k) - Pythonic HTML Parsing for Humans.
65. Awesome Piracy
Documentaries / Third Party Hosts
- Documentary Addict A website which scrapes Youtube for documentaries
- iHaveNoTv Community managed documentary collection
66. 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.
67. 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.
68. Awesome Bigdata
System Deployment
- Linkis (⭐3.1k) - Linkis helps easily connect to various back-end computation/storage engines.
Data Visualization
- DataSphere Studio (⭐2.6k) - one-stop data application development management portal.
69. 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.
- apex-ada - PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications.
- 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 (⭐24) - x86-64 security-focused OS being created with SPARK.
70. Awesome Actions
Utility / Semantic Versioning
- Cut Release Branch (⭐9) - Cuts a release branch given a branch prefix and optional semantic version.
- Increment Semantic Version (⭐54) - Bump a given semantic version (SemVer), depending on given release type.
Static Analysis / Linting
71. Awesome Coq
Projects / Frameworks
- CoqEAL (⭐64) - 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 (⭐94) - Coq support for the Jupyter Notebook web environment.
Projects / Libraries
- coq-haskell (⭐164) - Library smoothing the transition to Coq for Haskell users.
- Metalib (⭐71) - Library for programming language metatheory using locally nameless variable binding representations.
Projects / Package and Build Management
- Docker-Coq (⭐37) - Docker images for many versions of Coq.
Projects / Plugins
- AAC Tactics (⭐29) - Tactics for rewriting universally quantified equations, modulo associativity and commutativity of some operator.
- Gappa - Tactic for discharging goals about floating-point arithmetic and round-off errors.
- Mtac2 (⭐51) - Plugin adding typed tactics for backward reasoning.
- SMTCoq (⭐155) - Tool that checks proof witnesses coming from external SAT and SMT solvers.
Projects / Tools
- lngen (⭐30) - Tool for generating locally nameless Coq definitions and proofs.
- Menhir - Parser generator that can output Coq code for verified parsers.
- mCoq (⭐28) - Mutation analysis tool for Coq projects.
Projects / Type Theory and Mathematics
- Analysis (⭐193) - Library for classical real analysis compatible with Mathematical Components.
- Category Theory in Coq (⭐741) - Axiom-free formalization of category theory.
- Coquelicot - Formalization of classical real analysis compatible with the standard library and focusing on usability.
- Mathematical Components - Formalization of mathematical theories, focusing in particular on group theory.
Projects / Verified Software
- JSCert (⭐194) - Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter.
Resources / Community
Resources / Books
- Coq'Art - The first book dedicated to Coq.
- Software Foundations - Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.
- 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.
- Computer Arithmetic and Formal Proofs - Book that describes how to formally specify and verify floating-point algorithms in Coq using the Flocq library.
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 (⭐26) - Demonstration of design patterns for programming and proving with canonical structures.
- Mike Nahas's Coq Tutorial - Basics of using Coq to write formal proofs.
72. 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)
73. 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
74. Awesome Ponyfills
Browser Features
- Prev: Jan 27 - Feb 02, 2020
- Next: Jan 13 - Jan 19, 2020