Awesome List Updates on Jan 12, 2020

5 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Coq

Projects / Libraries

• ExtLib (⭐124) - Collection of theories and plugins that may be useful in other Coq developments.

• FCSL-PCM (⭐25) - Formalization of partial commutative monoids as used in verification of pointer-manipulating programs.

• Paco - Library for parameterized coinduction.

• Relation Algebra (⭐43) - Modular formalization of algebras with heterogeneous binary relations as models.

Projects / Plugins

• CoqHammer (⭐210) - General-purpose automated reasoning hammer tool that combines learning from previous proofs with the translation of problems to automated provers and the reconstruction of found proofs.

• MetaCoq (⭐367) - Project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins.

• Unicoq (⭐49) - Plugin that replaces the existing unification algorithm with an enhanced one.

Projects / Type Theory and Mathematics

• GeoCoq (⭐179) - Formalization of geometry based on Tarski's axiom system.

• Math Classes (⭐160) - Abstract interfaces for mathematical structures based on type classes.

• Odd Order Theorem (⭐24) - Formal proof of the Odd Order Theorem, a landmark result of finite group theory.

• UniMath (⭐940) - Library which aims to formalize a substantial body of mathematics using the univalent point of view.

Projects / Verified Software

• Fiat-Crypto (⭐706) - Cryptographic primitive code generation.

• lambda-rust - Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.

2. Awesome Jmeter

Tools / IDE Integration

• Intellij IDEA IDE Plugin - Create run configurations and run JMeter tests from Intellij IDEA.

• JMeter + Eclipse HOWTO - Develop the JMeter project with Eclipse IDE.

3. Awesome Flutter

🇵🇱 Poland / Misc

• Flutter Developers Poland Facebook Group

• Flutter Poland Slack workspace

• Flutter Warsaw Meetup

• Flutter Warsaw Twitter

• Flutter Warsaw YouTube Channel

• Poznan Flutter Developer Group

• Flutter Wrocław Meetup

4. Awesome Wardley Maps

Reading

• Glossary

Doctrine Assessement

• Doctrine (⭐51) - A simple tool for visualising how competitive a company is in light of Wardley's doctrine. Hosted version available here.

5. Awesome

Utilities

• FileOptimizer - A lossless file size optimizer supporting a wide array of formats.

• Prev: Jan 13, 2020
• Next: Jan 11, 2020