Awesome List Updates on Feb 07, 2020

9 awesome lists updated today.

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

1. Awesome Elixir

Authentication

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

Frameworks

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

Queue

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

2. Awesome Coq

Projects / Libraries

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

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

Projects / Tools

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

Resources / Community

• Official Coq wiki (⭐4.2k)

• 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

• Guillaume Claret's Coq blog

• 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 (⭐30) - Gatling Maven Extensions.

4. Awesome Vue

Projects Using Vue.js / Open Source

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

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

5. Awesome Network Analysis

Journals / Topic-specific

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

Software / JavaScript

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

6. 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 bandwith, unlimited reply/send. Free for educational staffs (student, researcher, etc).

7. Awesome Functional Programming

Table of Contents / Blog posts

• Your easy guide to Monads, Applicatives, & Functors

Table of Contents / Repos

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

8. Awesome Mac

Reading and Writing Tools / Note-taking

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

9. 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 (⭐35) -

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