# Awesome List Updates on Jan 12, 2020

5 awesome lists updated today.

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

## 1. Awesome Coq

Projects / Libraries

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

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

- Paco - Library for parameterized coinduction.

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

Projects / Plugins

- CoqHammer (⭐187) - 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 (⭐286) - Project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins.

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

Projects / Type Theory and Mathematics

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

- Homotopy Type Theory (⭐1.2k) - Development of homotopy-theoretic ideas.

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

Projects / Verified Software

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