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 (⭐3k) - The HTML/CSS User Interface library evolved. Fork of libRocket. [MIT]
Physics
- Simbody (⭐2.4k) - High-performance C++ multibody dynamics/physics library for simulating articulated biomechanical and mechanical systems like vehicles, robots, and the human skeleton. [Apache2]
- SOFA (⭐957) - 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 (⭐80) - 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 (⭐40) - Assists you in automatically creating Open Graph images for your Wagtail pages.
9. Awesome Coq
Projects / Frameworks
- CoqEAL (⭐67) - Framework to ease change of data representations in proofs.
Projects / Libraries
- Metalib (⭐74) - 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 (⭐30) - Tool for generating locally nameless Coq definitions and proofs.
- mCoq (⭐30) - 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.
- Volume 1: Logical Foundations - Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving.
- Volume 2: Programming Language Foundations - Introduction to the theory of programming languages, including operational semantics, Hoare logic, and static type systems.
- Volume 3: Verified Functional Algorithms - Demonstration of how a variety of fundamental data structures can be specified and verified.
- Volume 4: QuickChick - Introduction to tools for combining randomized property-based testing with formal specification and proof.
- Volume 5: Verifiable C - An extended tutorial on specifying and verifying C programs using the Verified Software Toolchain.
- Volume 6: Separation Logic Foundations - An introduction to separation logic and how to build program verification tools on top of it.
- 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.
10. Awesome Keycloak
Articles
- Prev: Jan 20, 2020
- Next: Jan 18, 2020