Awesome List Updates on Jan 19, 2020
10 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome H2o
Courses
- University of San Francisco (USF) Distributed Data System Class (MSDS 697) - Master of Science in Data Science Program.
2. Nginx Resources
Talks
3. Awesome Cpp
GUI
- RmlUi (⭐2.6k) - The HTML/CSS User Interface library evolved. Fork of libRocket. [MIT]
Physics
- Simbody (⭐2.3k) - High-performance C++ multibody dynamics/physics library for simulating articulated biomechanical and mechanical systems like vehicles, robots, and the human skeleton. [Apache2]
- SOFA (⭐891) - SOFA is an open-source framework targeting at real-time simulation, with an emphasis on medical simulation. [LGPL] website
4. Awesome Libgdx
Resources / User Interface
- PieMenu (⭐74) - Radial menus for Scene2D that are highly flexible and easy to customize.
5. Awesome Creative Tech Events
Netherlands / Amsterdam
- FITC Amsterdam - 2 day event about design, technology and cool shit. (February)
France / Paris
- Immersive Art Festival - The Atelier des Lumières is a digital art centre where immersive exhibitions dedicated to the greatest artists in the history of art and more contemporary creations are projected. (October)
Spain / Barcelona
- Offf Barcelona - Conference for offline/online designers, motion designers, thinkers, sound designers, graphic designers, theorists, developers, professionals and students. (April)
- Sonar - Music, creativity & technology. (June)
Austria / Linz
- Ars Electronica Festival - Festival for art, technology and society. (September)
6. Awesome Flame
App Releases / Board
- Four In A Row - Android, iOS - Play the classic 'Four In A Row' board game! Will you be the first to connect 4 of your chips? Challenge the AI, or play against your friends and family. By Ignace Maes
7. Awesome D
Articles / Bare metal / kernel development
- Hidden treasures in the D standard library - An article talking about several useful functions and templates in Phobos.
8. Awesome Wagtail
Apps / SEO and SMO
- wagtail-opengraph-image-generator (⭐37) - Assists you in automatically creating Open Graph images for your Wagtail pages.
9. Awesome Coq
Projects / Frameworks
- CoqEAL (⭐64) - Framework to ease change of data representations in proofs.
Projects / Libraries
- Metalib (⭐71) - Library for programming language metatheory using locally nameless variable binding representations.
Projects / Package and Build Management
- Docker-Coq (⭐37) - Docker images for many versions of Coq.
Projects / Tools
- lngen (⭐29) - Tool for generating locally nameless Coq definitions and proofs.
- mCoq (⭐28) - Mutation analysis tool for Coq projects.
Resources / Books
- Coq'Art - The first book dedicated to Coq.
- Software Foundations - Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.
- Certified Programming with Dependent Types - Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof.
- Formal Reasoning About Programs - Book that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose.
- Programs and Proofs - Book that gives a brief and practically-oriented introduction to interactive proofs in Coq which emphasizes the computational nature of inductive reasoning about decidable propositions via a small set of primitives from the SSReflect proof language.
- Computer Arithmetic and Formal Proofs - Book that describes how to formally specify and verify floating-point algorithms in Coq using the Flocq library.
10. Awesome Keycloak
Articles
- Prev: Jan 20, 2020
- Next: Jan 18, 2020