From 03c307853b082078e46d8b384bca668e10b8b8f3 Mon Sep 17 00:00:00 2001 From: akullpp Date: Mon, 13 Nov 2017 14:16:15 +0100 Subject: [PATCH] Condense descriptions --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 1a4671d..233a71c 100644 --- a/README.md +++ b/README.md @@ -356,7 +356,7 @@ A curated list of awesome Java frameworks, libraries and software. ## Formal Verification -*Formal-methods tools: proof assistants, model checking, symbolic execution etc.* +*Formal-methods tools: proof assistants, model checking, symbolic execution, etc.* * [CATG](https://github.com/ksen007/janala2) - Concolic unit testing engine. Automatically generates unit tests using formal methods. * [Checker Framework](http://types.cs.washington.edu/checker-framework/) - Pluggable type systems. Includes nullness types, physical units, immutability types and more. @@ -541,7 +541,7 @@ A curated list of awesome Java frameworks, libraries and software. *Everything else.* -* [Codename One](https://www.codenameone.com/) - Cross-platform solution for writing native mobile (iOS, Android, etc.) apps. +* [Codename One](https://www.codenameone.com/) - Cross-platform solution for writing native mobile apps. * [CQEngine](https://github.com/npgall/cqengine) - Ultra-fast, SQL-like queries on Java collections. * [Design Patterns](https://github.com/iluwatar/java-design-patterns) - Implementation and explanation of the most common design patterns. * [Failsafe](https://github.com/jhalterman/failsafe) - Simple failure handling with retries and circuit breakers.