Awesome List Updates on Oct 12, 2017
12 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Idris
Contents / Books
- Type Driven Development With Idris - Most important book published so far.
Contents / Presentations
- Idris: General Purpose Programming with Dependent Types - Presentation by Edwin Brady, Idris' creator.
Contents / Projects
- iridium (⭐201) - xmonad with the X11 abstracted and configured with Idris.
- lightyear (⭐235) - Parser combinators for Idris.
- quantities (⭐151) Type-safe physical computations and unit conversions in Idris.
- idris-type-providers (⭐84) - Type provider library for Idris.
- IdrisScript (⭐88) - FFI Bindings to interact with the unsafe world of JavaScript.
- idris-containers (⭐94) - Various data structures for use in the Idris Language.
- IdrisSqlite (⭐39) - Effectful bindings for SQLite.
- idris-http (⭐39) - HTTP library for Idris.
- RingIdris (⭐20) - Ring solver for Idris.
- specdris (⭐57) - Test framework for Idris.
- idris-config (⭐19) - Parsers for various configuration files written in Idris.
- probability (⭐32) - Probabilistic computation in Idris.
- idris-protobuf (⭐28) - Partial implementation of Protocol Buffers in Idris.
- idris-free (⭐25) - Free Monads and useful constructions to work with them.
Contents / Backends
- idris-jvm (⭐378) - JVM bytecode backend for Idris.
- idris-llvm (⭐77) - LLVM backend.
- idris-erlang (⭐190) - Erlang backend.
- idris-malfunction (⭐80) - Experimental Malfunction (OCaml internal representation) backend.
Contents / Community
2. Awesome Deep Learning Resources
Papers / Convolutional Neural Networks
- Densely Connected Convolutional Networks - Best Paper Award at CVPR 2017, yielding improvements on state-of-the-art performances on CIFAR-10, CIFAR-100 and SVHN datasets, this new neural network architecture is named DenseNet.
3. Free Programming Books (English, By Programming Language)
Hack / Spock Framework
4. Awesome Ddd
Books
- Writing Great Specifications - Writing Great Specifications is an example-rich tutorial that teaches you how to write good Gherkin specification documents that take advantage of Specification by Example's benefits.
5. Awesome Ctf
Wargames
- Hack The Box - Weekly CTFs for all types of security enthusiasts.
6. Awesome Android
GUI / Video
- VideoPlayView (⭐90) - Custom Android view with video player, play/stop, loader and placeholder image.
7. Awesome Swift
Dependency Injection
- Corridor (⭐61) - A Coreader-like Dependency Injection μFramework.
Utility / Barcode
- Closures (⭐1.7k) - Swifty closures for UIKit and Foundation.
8. Awesome Vue
Resources / Community
Resources / Tutorials
9. Awesome Micro Npm Packages
Modules / Function
- throttle-debounce (⭐973) - Throttle/debounce your functions.
10. Awesome Dotnet Core
Articles / Workflow
- Basic knowledge
- Microsoft architectural overview of comprehensive BikeSharing360 suite of demo apps with related videos
- Porting a .NET Framework library to .NET Core
- The 68 things the CLR does before executing a single line of your code
- The comparison between .NET Core and Nodejs at here, here and here (⭐46)
- Understanding ASP.NET Core Initialization
- Why you should join .NET Core and ASP.NET Core train
11. Awesome Open Source Supporters
Exception Reporting
- BugSnag
requires-approval- Exception tracking and reporting.
12. Awesome No Login Web Apps
Miscellaneous / Others
- AlarmDJ - Online Alarm clock, use MP3 files and YouTube videos as alarm.
- Prev: Oct 13, 2017
- Next: Oct 11, 2017