Awesome List Updates on Feb 07, 2020

10 awesome lists updated today.

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

1. Awesome Elixir

Authentication

• zachaeus (⭐17) - An easy to use licensing system, based on asymmetric cryptography.

Frameworks

• RIG (⭐590) - Create low-latency, interactive user experiences for stateless microservices.

Queue

• oban (⭐3.2k) - Robust asynchronous job processor powered by Elixir and modern PostgreSQL.

2. Awesome Coq

Projects / Libraries

• ALEA (⭐24) - Library for reasoning on randomized algorithms.

• Hahn (⭐29) - Library for reasoning on lists and binary relations.

Projects / Tools

• Cosette (⭐658) - Automated solver for reasoning about SQL query equivalences.

Resources / Community

• Official Coq wiki (⭐4.7k)

• Official Coq Twitter

• Coq tag on Stack Overflow

• Coq tag on Theoretical Computer Science Stack Exchange

Resources / Blogs

• Coq Exchange: ideas and experiment reports about Coq

• Joachim Breitner's blog posts on Coq

• Poleiro: a Coq blog by Arthur Azevedo de Amorim

• Ralf Jung's blog posts on Coq

3. Awesome Gatling

Tools / Plugins

• gatling-maven-plugin (⭐35) - Gatling Maven Extensions.

4. Awesome Vue

Projects Using Vue.js / Open Source

• VueComponentGenerator (⭐148) - Generate vue single file component on browser.

• Light Bootstrap Dashboard (⭐770) - Creative Tim Light Bootstrap Dashboard made for Vue

5. Free Programming Books (English, By Programming Language)

HTML and CSS / Bootstrap

• Twitter Bootstrap 3 Succinctly - Peter Shaw

• Twitter Bootstrap 4 Succinctly - Peter Shaw

• Twitter Bootstrap Succinctly - Peter Shaw

.NET Framework / PicoLisp

• Rider Succinctly - Dmitri Nesteruk

6. Awesome Network Analysis

Journals / Topic-specific

• Journal of Social Structure (INSNA). Older archives.

Software / JavaScript

• NetworkCube (⭐92) - "Dynamic Network Visualizations [for] Domain Scientists." For demo examples, see The Vistorian.

7. Free for Dev

Source Code Repos

• savannah.gnu.org - Serves as a collaborative software development management system for free Software projects (for GNU Projects)

• savannah.nongnu.org - Serves as a collaborative software development management system for free Software projects (for non-GNU projects)

Email

• SimpleLogin – Open source, self-hostable email alias/forwarding solution. Free 5 Aliases, unlimited bandwidth, unlimited reply/send. Free for educational staff (student, researcher, etc.).

8. Awesome Functional Programming

Table of Contents / Blog posts

• Your easy guide to Monads, Applicatives, & Functors

Table of Contents / Repos

• Parsing With Haskell Parser Combinators (⭐90) - A step-by-step guide to parsing using Haskell parser combinators.

9. Awesome Mac

Reading and Writing Tools / Note-taking

• Dnote - A simple command line notebook with multi-device sync and a web interface.

10. Awesome Embedded Rust

Peripheral Access Crates / Ambiq Micro

• ambiq-apollo1-pac Peripheral access API for Ambiq Apollo 1 microcontrollers (generated using svd2rust)

• ambiq-apollo2-pac Peripheral access API for Ambiq Apollo 2 microcontrollers (generated using svd2rust)

• ambiq-apollo3-pac Peripheral access API for Ambiq Apollo 3 microcontrollers (generated using svd2rust)

• ambiq-apollo3p-pac Peripheral access API for Ambiq Apollo 3 Plus microcontrollers (generated using svd2rust)

Driver crates / Other

• usbd-hid-device - USB HID class implementation without unsafe - github (⭐12) -

• usbd-midi - USB MIDI class implementation - github (⭐43) -

• Prev: Feb 08, 2020
• Next: Feb 06, 2020