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
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.
- FileOptimizer - A lossless file size optimizer supporting a wide array of formats.