Awesome List Updates on Jan 10, 2020

16 awesome lists updated today.

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

1. Awesome Php

Table of Contents / Data Structure and Storage

• JSON Machine (⭐1.2k) - Provides iteration over huge JSONs using simple foreach

2. Awesome Embedded Rust

HAL implementation crates / OS

• ftdi-embedded-hal for FTDI FTx232H chips connected to Linux systems via USB

HAL implementation crates / NXP

• lpc8xx-hal - HAL for lpc82x and lpc845 -

Component abstraction crates / Other

• smart-leds: Support for addressable LEDs including WS2812 and APA102

Driver crates / Other

• MMA7660FC - I2C - 3-axis accelerometer - Intro blog post

Driver crates / WIP

• AFE4400 (⭐6) - SPI - Pulse oximeter

• AS5048A (⭐1) - SPI - AMS AS5048A Magnetic Rotary Encoder

• AXP209 (⭐5) - I2C - Power management unit

• BH1750 (⭐2) - I2C - ambient light sensor (lux meter)

• embedded-nrf24l01 - SPI+GPIO - 2.4 GHz radio

• HC-SR04 (⭐17) - DIO - Ultrasound sensor

• HD44780 (⭐12) - Parallel port - LCD controller

• iAQ-Core (⭐2) - I2C - iAQ-Core-C/iAQ-Core-P Gas and VOC sensor driver for monitoring indoor air quality.

• ILI9341 (⭐64) - SPI - TFT LCD display

• LS010B7DH01 (⭐6) - SPI - Memory LCD

• MAG3110 (⭐1) - I2C - Magnetometer

• MFRC522 (⭐31) - SPI - RFID tag reader/writer

• motor-driver (⭐11) - Motor drivers: L298N, TB6612FNG, etc.

• NRF24L01 (⭐28) - SPI - 2.4 GHz wireless communication

• PCD8544 (⭐0) - SPI - 48x84 pixels matrix LCD controller

• RFM69 (⭐12) - SPI - ISM radio transceiver

• RN2xx3 (⭐5) - Serial - A driver for the RN2483 / RN2903 LoRaWAN modems by Microchip

• SHT2x (⭐2) - I2C - temperature / humidity sensors

• SHT3x (⭐9) - I2C - Temperature / humidity sensors

• SI5351 (⭐3) - I2C - clock generator

• SI7021 (⭐5) - I2C - Humidity and temperature sensor

• stm32-eth (⭐156) - MCU - Ethernet

• SX1278 (⭐11) - SPI - Long range (LoRa) transceiver

• SX1509 (⭐1) - I2C - IO Expander / Keypad driver

no-std crates / WIP

• gcode (⭐95): A gcode parser for no-std applications -

3. Awesome Piracy

ROMs / Third Party Hosts

• ROM/ISO sites Wiki page from gametechwiki.com with more links

4. Awesome Dotnet Core

Frameworks, Libraries and Tools / Application Frameworks

• ASP.NET Boilerplate (⭐12k) - ASP.NET Boilerplate is a general purpose application framework especially designed for new modern web applications. It uses already familiar tools and implements best practices around them to provide you a SOLID development experience.

Frameworks, Libraries and Tools / Database Tools and Utilities

• SapphireDb (⭐404) - Server implementation of SapphireDb, a framework for easy development of applications with realtime data synchronization and a self hosted alternative to firebase realtime database/firestore for asp.net core and ef core. Check out the documentation for more details: Documentation

5. Awesome Amazon Alexa

Courses

• Cakewalk - Build an engaging Alexa Skill - Build an enaging Alexa Skill from scratch right up to certification.

6. Awesome Esolangs

Others

• FizzBuzzEnterpriseEdition (⭐23k) - Simple FizzBuzz game implemented under the most strict enterprise standards.

• Petrovich - Operating System concept based on random actions and rewards/punishments.

7. Awesome Coq

Projects / Frameworks

• Fiat (⭐153) - Mostly automated synthesis of correct-by-construction programs.

• Iris - Higher-order concurrent separation logic framework.

• Verdi (⭐607) - Framework for formally verifying distributed systems implementations.

• VST - Toolchain for verifying C code inside Coq in a higher-order concurrent, impredicative separation logic that is sound w.r.t. the Clight language of the CompCert compiler.

Projects / User Interfaces

• CoqIDE - Standalone graphical tool for interacting with Coq.

• Coqtail (⭐295) - Interface for Coq based on the Vim text editor.

• Company-Coq (⭐355) - IDE extensions for Proof General's Coq mode.

Projects / Libraries

• Coq-std++ - Extended alternative standard library for Coq.

Projects / Plugins

• Equations (⭐232) - Function definition package for Coq.

• Paramcoq (⭐45) - Plugin to generate parametricity translations of Coq terms.

• QuickChick (⭐265) - Plugin for randomized property-based testing.

Projects / Tools

• CoqOfOCaml (⭐265) - Tool for generating idiomatic Coq from OCaml code.

Projects / Type Theory and Mathematics

• CoRN (⭐115) - Library of constructive real analysis and algebra.

Projects / Verified Software

• CompCert - High-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.

• Verdi Raft (⭐189) - Implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework.

Resources / Community

• Official Coq website

• Official Coq Discourse forum

• Official Coq-Club mailing list

8. Awesome Crystal

Shell plugins

• crystal-zsh (⭐26) - .oh-my-zsh plugin

9. Awesome Blazor

Authentication

• BlazorBoilerplate (⭐1.9k) - Real World Admin Dashboard / Starter kit with IdentityServer4 Material Design. Demo.

• BlazorWithIdentity (⭐469) - A sample project showcasing a Blazor app using EF Core with Identity authentication.

10. Awesome Opensource Apps

Laravel

• Name: Unifiedtransform (⭐2.9k)

  Description: A School Management Software.

  Link: https://changeweb.github.io/Unifiedtransform/

  :

11. Awesome React Components

Form Components / Image Editing

• react-easy-crop (⭐2.5k) - Component to crop/rotate images/videos with easy interactions. Touch friendly.

12. Awesome Ios Books

iOS

• iOS 12 Programming Fundamentals with Swift by Matt Neuburg

• iOS 13 Programming Fundamentals with Swift by Matt Neuburg

13. Awesome Corda

Documentation

• Documentation - Corda documentation. The go-to place for all things.

• Technical whitepaper - Technical description of Corda.

Programming

• Development environment - Step-by-step instructions to start developing on Corda.

Tools

• Braid Corda - Create Braid endpoints and streams from your Corda node.

• Corbeans - Corda integration for Spring Boot.

• Cordalo - Provide Corda frameworks to speed up your development in the decentralized space.

• Cordentity (⭐31) - Integrate Hyperledger Indy capabilities into Corda.

• DemoBench - A standalone desktop app to configure and launch local Corda nodes.

• Interact with nodes - Interact with your Corda nodes through a standalone shell, from an app, or a web server.

• Nodes and networks deployment with Chainstack - Easy Corda nodes and networks deployment.

• Partiture - A compact component framework for your CorDapps. Currently, its primary goal is to simplify flow composition.

• PyCorda (⭐13) - Access node and vault data for analytics using pandas DataFrames.

• Smart legal contracts with Accord - A reference implementation for smart legal contracts on Corda.

• Vaultaire - Query DSL and data access utilities for Corda developers.

• VS Code Corda extension (⭐10) - VS Code tools for developing CorDapps on the Corda platform.

• Web3j integration for Corda - A lightweight client library for working with CorDapps.

• XTS Fountain - Mint XTS tokens and send them to a token account on a Corda node.

Tutorials

• Official Corda tutorials - Learn to build and run CorDapps.

• Sample CorDapps (⭐98) - Explore the code of sample CorDapps targeting various uses.

• No ticket scalping CorDapp - Build, run, and interact with a CorDapp from scratch.

• Vaultaire: Corda Vault Queries Made Simple - Upgrade to a clean and easy to use query DSL generated just for you.

Learning and online courses

• Introduction to Corda Development - A free self-paced online course.

• Corda developer certification - Become a certified Corda developer.

Videos

• Corda Bootcamp - A playlist of 20 videos for Corda beginners.

CorDapps

• Cordite - A collection of CorDapps providing decentralized economics and governance services.

• Credit scoring (⭐7) - A credit scoring service between the user and retail banks.

• Private health insurance management (⭐11) - A private health insurance CorDapp.

• Sustainable fishing rights - A CorDapp to manage fishing rights.

Networks

• Corda Network - A global production network run by the Corda Network Foundation.

• Corda Testnet - A free public testnet with minimal permissions run by the the Corda Network Foundation.

• Cordite Network - A testnet open to anyone run by the Cordite Foundation.

Community

• Slack - Talk to the Corda community.

• Mailing list - Join the Corda developers mailing list.

• Corda Code Club - Corda Developer Meetup in London.

Misc

• Corda developer blog - A very helpful blog from a Corda developer.

14. Awesome Javascript

Data Visualization / Runner

• Chart.js (⭐66k) - Simple HTML5 Charts using the <canvas> tag.

15. Awesome Vue

Resources / Courses

• Learn Vue by Building and Deploying a CRUD App - This course is focused on teaching the fundamentals of Vue by building and testing a web application using Test-Driven Development (TDD).

• Advanced Vue.js Features from the Ground Up - Learn how to build more accessible routing, state management, form validation and internationalization libraries from the ground up!

16. Awesome Bigdata

Distributed Programming

• Apache Spark Streaming - framework for stream processing, part of Spark.

• Prev: Jan 11, 2020
• Next: Jan 09, 2020