Awesome List Updates on Jan 19, 2020
11 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.4k) - The HTML/CSS User Interface library evolved. Fork of libRocket. [MIT]
Physics
- Simbody (⭐2.2k) - High-performance C++ multibody dynamics/physics library for simulating articulated biomechanical and mechanical systems like vehicles, robots, and the human skeleton. [Apache2]
- SOFA (⭐833) - 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 (⭐71) - Radial menus for Scene2D that are highly flexible and easy to customize.
5. Awesome Remote Job
Job boards aggregators
- Meerkad - Handpicked and curated by community jobs from most popular remote job boards, companies' websites, Facebook groups, Twitter search, Reddit, StackOverflow, HackerNews, Dribbble, Behance, and many others
6. 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)
7. 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
8. 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.
9. Awesome Wagtail
Apps / SEO and SMO
- wagtail-opengraph-image-generator (⭐37) - Assists you in automatically creating Open Graph images for your Wagtail pages.
10. Awesome Coq
Projects / Frameworks
- CoqEAL (⭐65) - Framework to ease change of data representations in proofs.
Projects / Libraries
- Metalib (⭐68) - Library for programming language metatheory using locally nameless variable binding representations.
Projects / Package and Build Management
- Docker-Coq (⭐35) - Docker images for many versions of Coq.
Projects / Tools
- lngen (⭐29) - Tool for generating locally nameless Coq definitions and proofs.
- mCoq (⭐26) - 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.
11. Awesome Keycloak
Articles
- Prev: Jan 20, 2020
- Next: Jan 18, 2020