gaspersic/awesome-java
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Condense descriptions

Browse Source
This commit is contained in:
akullpp
2017-11-13 14:16:15 +01:00
parent 627a3d0e07
commit 03c307853b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -356,7 +356,7 @@ A curated list of awesome Java frameworks, libraries and software.
## Formal Verification ## 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. * [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. * [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.* *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. * [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. * [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. * [Failsafe](https://github.com/jhalterman/failsafe) - Simple failure handling with retries and circuit breakers.