# Awesome List Updates on Jan 12, 2020

5 awesome lists updated today.

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

## 1. Awesome Coq

Projects / Libraries

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

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

- Paco - Library for parameterized coinduction.

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

Projects / Plugins

- CoqHammer (⭐199) - 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 (⭐330) - 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 (⭐163) - Formalization of geometry based on Tarski's axiom system.

- Math Classes (⭐158) - 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 (⭐898) - Library which aims to formalize a substantial body of mathematics using the univalent point of view.

Projects / Verified Software

- Fiat-Crypto (⭐659) - 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

## 4. Awesome Wardley Maps

Reading

Apps / Doctrine Assessement

- Doctrine (⭐50) - 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