Awesome List Updates on Jul 30, 2014
9 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Ocaml
Formal Software Verification
- Why3 – Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions.
- Alt-Ergo – Alt-Ergo is an open-source SMT solver dedicated to the proof of mathematical formulas generated in the context of program verification.
2. Critical Path Css Tools
PhantomJS
- dr-css-inliner (⭐81) - PhantomJS script to inline above-the-fold CSS on a page.
3. Awesome Cpp
Online Compiler
- codepad - An online compiler/interpreter, and a simple collaboration tool.
- Ideone - An online compiler and debugging tool which allows you to compile source code and execute it online in more than 60 programming languages.
Debugger
- Valgrind - A tool for memory debugging, memory leak detection, and profiling.
4. Awesome Cakephp
CakePHP Websites
- jedistirfry.co.uk - A CakePHP related dev blog.
CakePHP Videos
- CakePHP - Channel about CakePHP videos.
CakePHP Internals Reading
- Top 10 (and more) core contributors (⭐8.7k) - Give 'em a hand.
5. Awesome Laravel
Community / Videos
Jobs / Meetups
6. Sublime Bookmarks
Extensions / General Purpose
- StyleToken (⭐48) — allows to highlight certain pieces of text with different colors (similar to Notepad++ "Style token" functionality).
- Synesthesia (⭐17) — a plugin for highlighting text with pretty colours.
7. Awesome R
Natural Language Processing
- tm - A comprehensive text mining framework for R.
- openNLP - Apache OpenNLP Tools Interface.
- koRpus - An R Package for Text Analysis.
- zipfR - Statistical models for word frequency distributions.
8. Awesome Unity
Tutorials
- Catlike Coding - Tutorials designed for learning the C# scripting side of Unity.
- Official Video Tutorials - The official tutorials for scripting, animation, audio, and almost anything Unity related.
9. Awesome Nodejs
Packages / Text
- i18n-node (⭐3.1k) - Simple translation module with dynamic JSON storage.
Packages / Math
- mathjs (⭐14k) - An extensive math library.
- Prev: Jul 31, 2014
- Next: Jul 29, 2014