Awesome List Updates on Oct 13, 2017

8 awesome lists updated today.

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

1. Awesome Idris

Contents / Papers

• Elaborator Reflection: Extending Idris in Idris - David Christiansen and Edwin Brady, 2016.

• Cross-platform Compilers for Functional Languages - Edwin Brady, 2015.

• Programming and Reasoning with Side-Effects in Idris - Edwin Brady, 2014.

• Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation - Edwin Brady, 2013.

• Programming and Reasoning with Algebraic Effects and Dependent Types - Edwin Brady, 2013.

• Sequential decision problems, dependently typed solutions - Nicola Botta, Cezar Ionescu and Edwin Brady, 2013.

• Programming in Idris: a tutorial - Edwin Brady, 2012.

• Idris — Systems Programming Meets Full Dependent Types - Edwin Brady, 2011.

• Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation - Edwin Brady and Kevin Hammond, 2010.

• Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols - Edwin Brady and Kevin Hammond, 2010.

• Domain Specific Languages (DSLs) for Network Protocols - Saleem Bhatti, Edwin Brady, Kevin Hammond and James McKinna, 2009.

• Lightweight Invariants with Full Dependent Types - Edwin Brady, Christoph Herrmann and Kevin Hammond, 2008.

2. Awesome Dataviz

JavaScript tools / Maps

• Mapael (⭐1k) - jQuery plugin based on raphael.js to display vector maps.

3. Awesome Static Website Services

Forms / Really Simple Forms

• 99 Inbound - Form endpoint service with email/Slack notifications and third party app integrations (e.g. MailChimp)

4. Awesome Vue

Projects Using Vue.js / Open Source

• My Animation List (⭐78) - A tool to easy get css animation code

5. Awesome Bigdata

Time-Series Databases

• Axibase Time Series Database - Integrated time series database on top of HBase with built-in visualization, rule-engine and SQL support.

6. Mind Expanding Books

Philosophy And Psychology

• Name: Prometheus Rising

  Author: Robert Anton Wilson

  Goodreads Rating: 4.26

  Year Published: 2010

• Name: Mindset: The new psychology of success

  Author: Carol S. Dweck,Ph.D.

  Goodreads Rating: 4.04

  Year Published: 2006

• Name: Outsmarting IQ: The Emerging Science of Learnable Intelligence

  Author: David Perkins

  Goodreads Rating: 4.00

  Year Published: 1995

Politics

• Name: Strangers in Their Own Land: Anger and Mourning on the American Right

  Author: Arlie Russell Hochschild

  Goodreads Rating: 4.15

  Year Published: 2016

Fiction / Classics

• Name: The Director

  Author: David Ignatius

  Goodreads Rating: 3.43

  Year Published: 2015

Fiction / Science Fiction

• Name: Ready Player One

  Author: Ernest Cline

  Goodreads Rating: 4.31

  Year Published: 2011

• Name: The Fifth Sacred Thing

  Author: Starhawk

  Goodreads Rating: 4.25

  Year Published: 1994

• Name: Hyperion

  Author: Dan Simmons

  Goodreads Rating: 4.21

  Year Published: 1989

• Name: Little Brother

  Author: Cory Doctorow

  Goodreads Rating: 3.94

  Year Published: 2008

7. Awesome Swift

Animation

• ViewAnimator (⭐7.2k) - Brings your UI to life with just one line.

8. Awesome Nodejs

Resources / Tools

• github-npm-stats - Chrome extension that displays npm download stats on GitHub.

• Prev: Oct 14, 2017
• Next: Oct 12, 2017