Awesome List Updates on Feb 07, 2020

8 awesome lists updated today.

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

1. Awesome Elixir

Authentication

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

Frameworks

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

Queue

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

2. Awesome Coq

Projects / Libraries

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

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

Projects / Tools

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

Resources / Community

• Official Coq wiki (⭐5.1k)

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

4. Awesome Vue

Projects Using Vue.js / Open Source

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

5. 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)

6. Awesome Network Analysis

Journals / Topic-specific

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

Software / JavaScript

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

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

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