Integrate suggestions from reddit

ResamVi · Oct 23, 2023 · 3db70d7 · 3db70d7
1 parent 2493c3b
commit 3db70d7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/public/LIST.md b/src/public/LIST.md
@@ -338,7 +338,7 @@ _Libraries related to the financial domain._
 _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](https://checkerframework.org) - Pluggable type systems. Includes nullness types, physical units, immutability types and more. (GPL-2.0-only WITH Classpath-exception-2.0)
+- [Checker Framework](https://github.com/typetools/checker-framework) - Pluggable type systems. Includes nullness types, physical units, immutability types and more. (GPL-2.0-only WITH Classpath-exception-2.0)
 - [Daikon](https://plse.cs.washington.edu/daikon) - Detects likely program invariants and generates JML specs based on those invariants.
 - [Java Path Finder (JPF)](https://github.com/javapathfinder/jpf-core) - JVM formal verification tool containing a model checker and more. Created by NASA.
 - [JMLOK 2.0](https://massoni.computacao.ufcg.edu.br/home/jmlok) - Detects inconsistencies between code and JML specification through feedback-directed random tests generation, and suggests a likely cause for each nonconformance detected. (GPL-3.0-only)
@@ -522,7 +522,7 @@ _Libraries that log the behavior of an application._
 - [Logbook](https://github.com/zalando/logbook) - Extensible, open-source library for HTTP request and response logging.
 - [Logstash](https://www.elastic.co/logstash) - Tool for managing log files.
 - [p6spy](https://github.com/p6spy/p6spy) - Enables logging for all JDBC transactions without changes to the code.
-- [SLF4J](http://www.slf4j.org) - Abstraction layer/simple logging facade.
+- [SLF4J](https://github.com/qos-ch/slf4j) - Abstraction layer/simple logging facade.
 - [tinylog](https://tinylog.org/v2) - Lightweight logging framework with static logger class.
 - [OpenTracing Toolbox](https://github.com/zalando/opentracing-toolbox) - Collection of libraries that build on top of OpenTracing and provide extensions and plugins to existing instrumentations.